121 search results - page 3 / 25 » DieCast: Testing Distributed Systems with an Accurate Scale ... |
TAP
2009
Springer
14 years 27 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
CEC
2010
IEEE
2010
IEEE
A binary Particle Swarm Optimization approach to fault diagnosis in parallel and distributed systems
13 years 5 months ago
— The efficient diagnosis of hardware and software faults in parallel and distributed systems remains a challenge in today’s most prolific decentralized environments. System-...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
The aim of this paper is to propose a robust and accurate method for the parametric identification of the thermal behaviour of low consumption buildings. These buildings are known ...
AES
2011
Springer
12 years 6 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
ICPPW
2009
IEEE
13 years 4 months ago
2009
IEEE
Identifying peptides, which are short polymeric chains of amino acid residues in a protein sequence, is of fundamental importance in systems biology research. The most popular appr...