4722 search results - page 733 / 945 » Encoding Program Executions |
128
click to vote
ASAP
2007
IEEE
15 years 7 months ago
2007
IEEE
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
132
click to vote
CLUSTER
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
132
click to vote
DLS
2007
15 years 7 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
130
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
124
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
Single chip heterogeneous multiprocessors are arising to meet the computational demands of portable and handheld devices. These computing systems are not fully custom designs trad...