Sciweavers

5159 search results - page 354 / 1032
» Structural Testing of Executables
Sort
View
SBACPAD
2003
IEEE
106views Hardware» more  SBACPAD 2003»
16 years 20 days ago
A Parallel Implementation of the LTSn Method for a Radiative Transfer Problem
— A radiative transfer solver that implements the LTSn method was optimized and parallelized using the MPI message passing communication library. Timing and profiling informatio...
Roberto P. Souto, Haroldo F. de Campos Velho, Step...
IPPS
1999
IEEE
15 years 11 months ago
A Communication Latency Hiding Parallelization of a Traffic Flow Simulation
This work implements and analyses a highway traffic flow simulation based on continuum modeling of traffic dynamics. A traffic-flow simulation was developed and mapped onto a para...
Charles Michael Johnston, Anthony T. Chronopoulos
ICSE
2010
IEEE-ACM
15 years 11 months ago
STORM: static unit checking of concurrent programs
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
Zvonimir Rakamaric
ESEC
1991
Springer
15 years 11 months ago
A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...
Jeffrey M. Voas
SERVICES
2010
123views more  SERVICES 2010»
15 years 8 months ago
Testbeds for Emulating Dependability Issues of Mobile Web Services
Today's ubiquitous internet access has opened new opportunities for mobile workers. By using portable devices, the workers are not only able to access their company's dat...
Lukasz Juszczyk, Schahram Dustdar