252 search results - page 43 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
HPCN
2000
Springer
13 years 11 months ago
2000
Springer
Data futures in a metacomputing system refer to data products that have not yet been created but which can be uniquely named and manipulated. We employ data flow mechanisms expres...
IWMM
2007
Springer
14 years 1 months ago
2007
Springer
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
HPCA
2008
IEEE
14 years 7 months ago
2008
IEEE
We apply Amdahl's Law to multicore chips using symmetric cores, asymmetric cores, and dynamic techniques that allows cores to work together on sequential execution. To Amdahl...
VRCAI
2004
ACM
14 years 27 days ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
CLUSTER
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—We present reliability solutions for adaptable Network RAM systems running on general-purpose clusters. Network RAM allows nodes with over-committed memory to swap pages...