Sciweavers

1642 search results - page 38 / 329
» SPINning Parallel Systems Software
Sort
View
COMPSAC
2005
IEEE
15 years 10 months ago
Parallel Changes: Detecting Semantic Interferences
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...
G. Lorenzo Thione, Dewayne E. Perry
UC
2005
Springer
15 years 10 months ago
A Web-Based P Systems Simulator and Its Parallelization
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 ...
Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Da...
DEBS
2009
ACM
15 years 11 months ago
Parallel event processing for content-based publish/subscribe systems
Event processing systems are a promising technology for enterprise-scale applications. However, achieving scalability yet maintaining high performance is a challenging problem. Th...
Amer Farroukh, Elias Ferzli, Naweed Tajuddin, Hans...
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 5 months ago
Efficient System-Enforced Deterministic Parallelism
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford
ICRA
1993
IEEE
99views Robotics» more  ICRA 1993»
15 years 9 months ago
Integration of Reactive Navigation with a flexible Parallel Hardware Architecture
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...
Thomas R. Collins, Ronald C. Arkin, Andrew M. Hens...