3507 search results - page 326 / 702 » Specialized execution environments |
185
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper reports on the architecture and design of Starfish, an environment for executing dynamic (and static) MPI-2 programs on a cluster of workstations. Starfish is unique in ...
198
click to vote
DEXA
1998
Springer
15 years 11 months ago
1998
Springer
Intelligent agents and active databases have a number of common characteristics, the most important of which is that they both execute actions by firing rules upon events occurring...
184
click to vote
HASE
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract: We present a time-bounded state-based communication mechanism for dynamically reconfigurable embedded systems. The mechanism is a single-processor, low-overhead version o...
206
click to vote
POPL
1994
ACM
15 years 11 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
155
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...