3575 search results - page 108 / 715 » Modeling Concurrency with Geometry |
109
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
125
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
195
click to vote
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
106
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
108
click to vote
CPHYSICS
2010
15 years 1 months ago
2010
In this paper, a programming model is presented which enables scalable parallel performance on multi-core shared memory architectures. The model has been developed for application...