452 search results - page 77 / 91 » Symbolic Execution of Behavioral Requirements |
VEE
2005
ACM
15 years 4 months ago
2005
ACM
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...
JSSPP
2005
Springer
15 years 4 months ago
2005
Springer
Irregular and iterative I/O-intensive jobs need a different approach from parallel job schedulers. The focus in this case is not only the processing requirements anymore: memory, ...
ECRTS
2003
IEEE
15 years 4 months ago
2003
IEEE
We revisit the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a ...
ATAL
2007
Springer
15 years 2 months ago
2007
Springer
We contribute an approach for interactive policy learning through expert demonstration that allows an agent to actively request and effectively represent demonstration examples. I...
FPGA
2008
ACM
15 years 9 days ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...