Sciweavers

4722 search results - page 429 / 945
» Encoding Program Executions
Sort
View
AI
2011
Springer
15 years 1 months ago
Non-Markovian control in the Situation Calculus
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
Alfredo Gabaldon
ICDCN
2011
Springer
14 years 10 months ago
A High-Level Framework for Distributed Processing of Large-Scale Graphs
Distributed processing of real-world graphs is challenging due to their size and the inherent irregular structure of graph computations. We present HIPG, a distributed framework th...
Elzbieta Krepska, Thilo Kielmann, Wan Fokkink, Hen...
ASPLOS
2000
ACM
15 years 11 months ago
An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...
Joshua Redstone, Susan J. Eggers, Henry M. Levy
NSDI
2010
15 years 8 months ago
Mugshot: Deterministic Capture and Replay for JavaScript Applications
Mugshot is a system that captures every event in an executing JavaScript program, allowing developers to deterministically replay past executions of web applications. Replay is us...
James Mickens, Jeremy Elson, Jon Howell
VEE
2012
ACM
239views Virtualization» more  VEE 2012»
14 years 2 months ago
Transparent dynamic instrumentation
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
Derek Bruening, Qin Zhao, Saman P. Amarasinghe