4722 search results - page 33 / 945 » Encoding Program Executions |
VEE
2005
ACM
14 years 2 months ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
Most existing work in agent programming assumes an execution model where an agent has a knowledge base (KB) about the current state of the world, and makes decisions about what to ...
JSA
2000
13 years 8 months ago
2000
In this article, the problem of finding a tight estimate on the worst-case execution time (WCET) of a real-time program is addressed. The analysis is focused on straight-line code...
LCTRTS
2009
Springer
14 years 3 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...