2466 search results - page 280 / 494 » Concurrent Clustered Programming |
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
109
click to vote
ICLP
1990
Springer
15 years 6 months ago
1990
Springer
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive langu...
109
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
NAACL
1994
15 years 3 months ago
1994
Development has begun on a semantic evaluation (SemEval) methodology and infrastructure for the ARPA Spoken Language Program. SemEval is an attempt to define a task-independent te...
139
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
Recent and future parallel clusters and supercomputers use SMPs and multi-core processors as basic nodes, providing a huge amount of parallel resources. These systems often have h...