850 search results - page 32 / 170 » Modeling synchronous systems in BIP |
ENTCS
2006
13 years 8 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
COLING
2010
13 years 3 months ago
2010
Hierarchical phrase-based machine translation can capture global reordering with synchronous context-free grammar, but has little ability to evaluate the correctness of word order...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
ECSCW
2007
13 years 10 months ago
2007
Previous work has found that (a) when software is developed collaboratively, concurrent accesses to related pieces of code are made, and (b) when these accesses are coordinated asy...