285 search results - page 53 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
BPM
2006
Springer
15 years 1 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
97
Voted
SPAA
2012
ACM
12 years 12 months ago
2012
ACM
hyperobjects (reducers) provide a linguistic abstraction for dynamic multithreading that allows different branches of a parallel program to maintain coordinated local views of the...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
In Emission Tomography imaging, respiratory motion causes artifacts in lungs and cardiac reconstructed images, which lead to misinterpretations and imprecise diagnosis. Solutions l...
92
Voted
GISCIENCE
2008
Springer
14 years 10 months ago
2008
Springer
Dynamic geographic phenomena, such as forest fires and oil spills, can have dire environmental, sociopolitical, and economic consequences. Mitigating, if not preventing such events...