1258 search results - page 66 / 252 » Table design in dynamic programming |
144
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
CCS
2001
ACM
15 years 4 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
117
click to vote
CATA
2003
15 years 1 months ago
2003
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
ACMSE
2008
ACM
15 years 1 months ago
2008
ACM
Using a problem domain motivated by Bentley's"Little Languages" column [1], this paper explores the use of the Ruby programming language's flexible syntax, dyn...
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...