10707 search results - page 432 / 2142 » Designing executable abstractions |
129
click to vote
RSS
2007
15 years 7 months ago
2007
Abstract— This paper reviews a template for dynamical climbing originating in biology, explores its stability properties in a numerical model, and presents empirical data from a ...
148
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
162
click to vote
ISCA
2010
IEEE
15 years 11 months ago
2010
IEEE
Aggressive technology scaling into the nanometer regime has led to a host of reliability challenges in the last several years. Unlike onchip caches, which can be efficiently prot...
162
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
155
click to vote
IASTEDSE
2004
15 years 7 months ago
2004
200402.tex ABSTRACT To detect theft of Java class files efficiently, we have so far proposed a concept of Java birthmarks. Since the birthmarks are unique and native characteristic...