285 search results - page 35 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
137
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
: The next generation of scientific experiments and studies, popularly called as e-Science, is carried out by large collaborations of researchers distributed around the world engag...
160
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
148
click to vote
ISORC
2006
IEEE
15 years 10 months ago
2006
IEEE
The fault tolerance provided by FT-CORBA is basically static, that is, once the fault tolerance properties of a group of replicated processes defined, they cannot be modified in r...
142
click to vote
ISLPED
2004
ACM
15 years 10 months ago
2004
ACM
Microprocessor designers use techniques such as clock gating to reduce power dissipation. An unfortunate side-effect of these techniques is the processor current fluctuations th...
163
click to vote
IEEEARES
2009
IEEE
15 years 11 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...