4586 search results - page 573 / 918 » Computing stable models in parallel |
134
Voted
HPCN
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...
145
Voted
ICPP
1990
IEEE
15 years 9 months ago
1990
IEEE
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For implementing sequential consistency in a cache-base...
117
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Event-driven systems are used in a wide range of applications such as responding to missile attacks, interdicting potential terrorists, exploiting arbitrage opportunities and resp...
161
Voted
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...
147
Voted
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...