Sciweavers

4722 search results - page 65 / 945
» Encoding Program Executions
Sort
View
SOSP
2007
ACM
14 years 6 months ago
Secure virtual architecture: a safe execution environment for commodity operating systems
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
John Criswell, Andrew Lenharth, Dinakar Dhurjati, ...
HIPEAC
2009
Springer
14 years 1 months ago
HeDGE: Hybrid Dataflow Graph Execution in the Issue Logic
Abstract. Exposing more instruction-level parallelism in out-of-order superscalar processors requires increasing the number of dynamic in-flight instructions. However, large instru...
Suriya Subramanian, Kathryn S. McKinley
IEEEPACT
2007
IEEE
14 years 4 months ago
Architectural Support for the Stream Execution Model on General-Purpose Processors
There has recently been much interest in stream processing, both in industry (e.g., Cell, NVIDIA G80, ATI R580) and academia (e.g., Stanford Merrimac, MIT RAW), with stream progra...
Jayanth Gummaraju, Mattan Erez, Joel Coburn, Mende...
WCRE
2006
IEEE
14 years 4 months ago
An Empirical Study of Executable Concept Slice Size
An Executable Concept Slice extracts from a program an executable subprogram that captures the semantics of a specified high-level concept from the program. Executable concept sl...
David Binkley, Nicolas Gold, Mark Harman, Zheng Li...
CBMS
2007
IEEE
14 years 4 months ago
Ontology Engineering to Model Clinical Pathways: Towards the Computerization and Execution of Clinical Pathways
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
Katrina F. Hurley, Syed Sibte Raza Abidi