1642 search results - page 236 / 329 » SPINning Parallel Systems Software |
148
click to vote
QEST
2007
IEEE
15 years 8 months 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 ...
102
click to vote
CLUSTER
2006
IEEE
15 years 8 months 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...
137
Voted
ISORC
2006
IEEE
15 years 8 months 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...
142
click to vote
ISORC
2005
IEEE
15 years 8 months 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...
114
click to vote
ICCS
2005
Springer
15 years 8 months 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...