590 search results - page 76 / 118 » Debugging Program Loops Using Approximate Modeling |
JOT
2007
14 years 9 months ago
2007
The Observer-Conditioned-Observable (OCO) combines digitizing and transcoding of numeric change events. During the processing of numeric events, the transcoder converts the number...
108
click to vote
NMA
2010
14 years 7 months ago
2010
One of the most important applications of the Asymmetric Hamiltonian Path Problem is in scheduling. In this paper we describe a variant of this problem, and develop both a mathemat...
83
Voted
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either a...
124
click to vote
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...