4722 search results - page 20 / 945 » Encoding Program Executions |
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
GCC
2007
Springer
13 years 10 months ago
2007
Springer
Executing the legacy program over grid is very important and necessary. To reuse the legacy program, we developed a method based on Component for executing the legacy code. We can...
VL
1998
IEEE
14 years 28 days ago
1998
IEEE
We present a scalable visualization technique for automatic animation of data-flow visual program execution. We also show a framework to assist programmers' browsing tasks by...
COMSIS
2006
13 years 8 months ago
2006
Traditional knowledge representations were developed to encode complete, explicit and executable programs, a goal that makes them less than ideal for representing the incomplete an...