2296 search results - page 65 / 460 » The Expressive Power of Synchronizations |
143
click to vote
POPL
1996
ACM
15 years 8 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
263
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of prog...
176
click to vote
SIAMCOMP
2008
15 years 2 months ago
2008
Abstract. To cope with the impossibility of solving agreement problems in asynchronous systems made up of n processes and prone to t process crashes, system designers tailor their ...
127
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
106
click to vote
IWINAC
2007
Springer
15 years 10 months ago
2007
Springer
Emergent interactions that are expressed by the movements of two agents are discussed in this paper. The common coding principle is used to show how the mirror neuron system may fa...