Sciweavers

3145 search results - page 283 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 23 hour ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
SIGCOMM
1999
ACM
15 years 11 months ago
A Readable TCP in the Prolac Protocol Language
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
Eddie Kohler, M. Frans Kaashoek, David R. Montgome...
CMMR
2009
Springer
187views Music» more  CMMR 2009»
15 years 10 months ago
Quantum Harmonic Oscillator Sonification
This work deals with the sonification of a quantum mechanical system and the processes that occur as a result of its quantum mechanical nature and interactions with other systems....
Anna Saranti, Gerhard Eckel, David Pirrò
ACL
1990
15 years 7 months ago
Algorithms for Generation in Lambek Theorem Proving
We discuss algorithms for generation within the Lambek Theorem Proving Framework. Efficient algorithms for generation in this framework take a semantics-driven strategy. This stra...
Erik-Jan van der Linden, Guido Minnen
VLSID
2002
IEEE
174views VLSI» more  VLSID 2002»
16 years 7 months ago
Architecture Implementation Using the Machine Description Language LISA
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
Oliver Schliebusch, Andreas Hoffmann, Achim Nohl, ...