285 search results - page 43 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
186
Voted
IEEEPACT
2006
IEEE
16 years 12 days ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
172
Voted
ICPPW
2007
IEEE
16 years 20 days ago
2007
IEEE
Several challenges about computational grid exist in integrating, coordinating and managing of resources and scheduling of applications, due to distributed resources at various le...
171
Voted
VEE
2010
ACM
16 years 1 months ago
2010
ACM
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
188
Voted
OOPSLA
2007
Springer
16 years 15 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
200
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...