308 search results - page 17 / 62 » Symbolic execution of data paths |
111
click to vote
IJBIDM
2006
15 years 4 months ago
2006
: Workflow Management Systems (WfMS) provide a fundamental technological infrastructure to define and manage business processes efficiently. WfMS logs contain valuable data that ca...
139
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
133
click to vote
AIPS
1998
15 years 5 months ago
1998
This paper presents the complete integrated planning, executing and learning robotic agent Rogue. We describe Rogue's task planner that interleaves high-level task planning w...
189
click to vote
HIPEAC
2011
Springer
14 years 4 months ago
2011
Springer
In chip multiprocessors (CMPs), data accesslatency dependson the memory hierarchy organization, the on-chip interconnect (NoC), and the running workload. Reducing data access late...
139
click to vote
IEEEPACT
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe the design, generation and compression of the extended whole program path (eWPP) representation that not only captures the control flow history of a program execution...