127 search results - page 7 / 26 » Production-guided concurrency debugging |
94
Voted
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...
184
Voted
DKE
2011
14 years 10 months ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
111
Voted
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
130
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
130
Voted
ERLANG
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...