800 search results - page 70 / 160 » Programming Models for Concurrency and Real-Time |
104
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented c...
106
click to vote
VISUALIZATION
1999
IEEE
15 years 5 months ago
1999
IEEE
Having a better way to represent and to interact with large geological models are topics of high interest in geoscience, and especially for oil and gas companies. We present in th...
104
click to vote
DIGRA
2005
Springer
15 years 6 months ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
121
click to vote
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...