800 search results - page 84 / 160 » Programming Models for Concurrency and Real-Time |
108
click to vote
PDP
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
146
click to vote
FCCM
2008
IEEE
15 years 7 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
124
click to vote
FUIN
2002
15 years 1 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
204
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
117
click to vote
IAT
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, the merging of tw...