373 search results - page 42 / 75 » On a model of three-dimensional bursting and its parallel im... |
156
click to vote
PVM
2007
Springer
16 years 9 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
175
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
The most important recent development in Grid systems is the adoption of the Web services model as a basic architecture for Grid services. The result is called the Open Grid Servi...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
169
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
The Cell Broadband Engine (Cell BE) is a heterogeneous multi-core processor specifically designed to exploit thread-level parallelism. Its memory model comprehends a common shared ...
206
click to vote
ISORC
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...