Sciweavers

747 search results - page 88 / 150
» Scalable and dynamic quorum systems
Sort
View
RTAS
2009
IEEE
14 years 4 months ago
CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
Joshua Love, Jerry Jariyasunant, Eloi Pereira, Mar...
CC
2005
Springer
134views System Software» more  CC 2005»
14 years 3 months ago
Jazz: A Tool for Demand-Driven Structural Testing
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...
HIPC
2005
Springer
14 years 3 months ago
The Potential of On-Chip Multiprocessing for QCD Machines
We explore the opportunities offered by current and forthcoming VLSI technologies to on-chip multiprocessing for Quantum Chromo Dynamics (QCD), a computational grand challenge for ...
Gianfranco Bilardi, Andrea Pietracaprina, Geppino ...
MOBIS
2008
13 years 11 months ago
Towards Simulation-supported Enterprise Architecture Management
Abstract: Enterprise architecture management is based on a holistic view on the enterprise addressing business and IT aspects in an integrated manner. EA management is a process to...
Sabine Buckl, Florian Matthes, Wolfgang Renz, Chri...
CPHYSICS
2008
106views more  CPHYSICS 2008»
13 years 10 months ago
A space-time-ensemble parallel nudged elastic band algorithm for molecular kinetics simulation
A scalable parallel algorithm has been designed to study long-time dynamics of many-atom systems based on the nudged elastic band method, which performs mutually constrained molec...
Aiichiro Nakano