1642 search results - page 3 / 329 » SPINning Parallel Systems Software |
SIGOPSE
1994
ACM
13 years 9 months ago
1994
ACM
Application domains, such as multimedia, databases, and parallel computing, require operating system services with high performance and high functionality. Existing operating syst...
ICDCS
2002
IEEE
13 years 9 months ago
2002
IEEE
The next generation of computing systems will be embedded, in a virtually unbounded number, and dynamically connected. The current software, network architectures, and their assoc...
AMAST
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
PROCEDIA
2010
13 years 3 months ago
2010
Visualising computational simulation models of solid state physical systems is a hard problem for dense lattice models. Fly throughs and cutaways can aid viewer understanding of a...
HIPC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...