285 search results - page 35 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
113
click to vote
MIDDLEWARE
2004
Springer
15 years 7 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...
128
Voted
CONCUR
2008
Springer
15 years 3 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...
118
click to vote
ISORC
2006
IEEE
15 years 7 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...
117
click to vote
ISLPED
2004
ACM
15 years 7 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...
135
click to vote
IEEEARES
2009
IEEE
15 years 8 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...