1258 search results - page 82 / 252 » Table design in dynamic programming |
178
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
102
click to vote
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...
FPL
2007
Springer
15 years 6 months ago
2007
Springer
The idea of changing cache attributes to suit an application has been explored for single programs. As the popularity of reconfigurable softcore systems grows and these systems in...
109
click to vote
ICCD
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper proposes a stochastic dynamic thermal management (DTM) technique in high-performance VLSI system with especial attention to the uncertainty in temperature observation. ...
126
click to vote
TYPES
1995
Springer
15 years 3 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...