285 search results - page 37 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
121
click to vote
WACV
2002
IEEE
15 years 6 months ago
2002
IEEE
Detecting human arm motion in a typical classroom environment is a challenging task due to the noisy and highly dynamic background, varying light conditions, as well as the small ...
118
Voted
IPPS
1997
IEEE
15 years 5 months ago
1997
IEEE
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...
124
click to vote
PPOPP
1999
ACM
15 years 5 months ago
1999
ACM
The use of threads is becoming commonplace in both sequential and parallel programs. This paper describes our design and initial experience with non-trace based performance instru...
101
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
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...
145
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...