Sciweavers

5159 search results - page 196 / 1032
» Structural Testing of Executables
Sort
View
PLDI
2012
ACM
13 years 9 months ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross
208
Voted
IPPS
2007
IEEE
16 years 1 months ago
A Framework for Experimental Validation and Performance Evaluation in Fault Tolerant Distributed System
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
Hein Meling
FUIN
2006
139views more  FUIN 2006»
15 years 7 months ago
Efficient Parallel Query Processing by Graph Ranking
In this paper we deal with the problem of finding an optimal query execution plan in database systems. We improve the analysis of a polynomial-time approximation algorithm due to M...
Dariusz Dereniowski, Marek Kubale
172
Voted
TVLSI
2002
98views more  TVLSI 2002»
15 years 6 months ago
Minimizing memory access energy in embedded systems by selective instruction compression
We propose a technique for reducing the energy spent in the memory-processor interface of an embedded system during the execution of firmware code. The method is based on the idea ...
Luca Benini, Alberto Macii, Enrico Macii, Massimo ...
162
Voted
GECCO
2009
Springer
127views Optimization» more  GECCO 2009»
15 years 11 months ago
BBOB-benchmarking the Rosenbrock's local search algorithm
The restarted Rosenbrock’s optimization algorithm is tested on the BBOB 2009 testbed. The algorithm turned out to be very efficient for functions with simple structure (independ...
Petr Posik