1642 search results - page 236 / 329 » SPINning Parallel Systems Software |
211
click to vote
QEST
2007
IEEE
16 years 29 days ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
165
click to vote
CLUSTER
2006
IEEE
16 years 23 days ago
2006
IEEE
The MPI-IO standard creates a huge opportunity to break out of the traditional file system I/O methods. As a software layer between the user and the file system, an MPI-IO libra...
180
click to vote
ISORC
2006
IEEE
16 years 21 days ago
2006
IEEE
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...
194
click to vote
ISORC
2005
IEEE
16 years 8 days ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
165
Voted
ICCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Resource management is a critical concern in high-performance computing software. While management of processing resources to increase performance is the most critical, e...