1642 search results - page 38 / 329 » SPINning Parallel Systems Software |
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
UC
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we present WebPS, an open-source web-enabled simulator for P systems, and a P accelerator for parallelization of the existing sequential simulators. The simulator is ...
DEBS
2009
ACM
14 years 2 months ago
2009
ACM
Event processing systems are a promising technology for enterprise-scale applications. However, achieving scalability yet maintaining high performance is a challenging problem. Th...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
ICRA
1993
IEEE
13 years 12 months ago
1993
IEEE
To demonstrate the flexibility and portability of both a schema-based software architecture and a message-passing hardware architecture, the two were integrated within a very shor...