Sciweavers

9264 search results - page 309 / 1853
» Space Between Languages
Sort
View
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
15 years 12 months ago
A Proposal for Transaction-Level Verification with Component Wrapper Language
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
Koji Ara, Kei Suzuki
COSIT
2003
Springer
151views GIS» more  COSIT 2003»
15 years 12 months ago
Landscape Categories in Yindjibarndi: Ontology, Environment, and Language
This paper describes categories for landscape elements in the language of the Yindjibarndi people, a community of Indigenous Australians. Yindjibarndi terms for topographic featur...
David M. Mark, Andrew G. Turk
ECML
2003
Springer
15 years 12 months ago
Combined Optimization of Feature Selection and Algorithm Parameters in Machine Learning of Language
Comparative machine learning experiments have become an important methodology in empirical approaches to natural language processing (i) to investigate which machine learning algor...
Walter Daelemans, Véronique Hoste, Fien De ...
CHARME
2001
Springer
117views Hardware» more  CHARME 2001»
15 years 11 months ago
A Higher-Level Language for Hardware Synthesis
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
Richard Sharp, Alan Mycroft
ICDCS
1998
IEEE
15 years 11 months ago
A Language for Specifying the Composition of Reliable Distributed Applications
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...
Frédéric Ranno, Santosh K. Shrivasta...