Sciweavers

1215 search results - page 107 / 243
» Testing in the Distributed Test Architecture: An Extended Ab...
Sort
View
ANTSW
2004
Springer
14 years 2 months ago
Logistic Constraints on 3D Termite Construction
Abstract. The building behaviour of termites has previously been modelled mathematically in two dimensions. However, physical and logistic constraints were not taken into account i...
Dan Ladley, Seth Bullock
MMS
2008
13 years 9 months ago
A framework for efficient and rapid development of cross-platform audio applications
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...
Xavier Amatriain, Pau Arumi, David Garcia
CAV
2012
Springer
265views Hardware» more  CAV 2012»
11 years 11 months ago
An Axiomatic Memory Model for POWER Multiprocessors
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayv...
IPPS
1998
IEEE
14 years 1 months ago
Prioritized Token-Based Mutual Exclusion for Distributed Systems
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
Frank Mueller
EUROSYS
2009
ACM
14 years 6 months ago
Transparent checkpoints of closed distributed systems in Emulab
Emulab is a testbed for networked and distributed systems experimentation. Two guiding principles of its design are realism and control of experimentation. There is an inherent te...
Anton Burtsev, Prashanth Radhakrishnan, Mike Hible...