9521 search results - page 296 / 1905 » Compiling with continuations, continued |
159
Voted
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
144
click to vote
BERTINORO
2005
Springer
15 years 9 months ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
111
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
129
Voted
IEEEAMS
2003
IEEE
15 years 9 months ago
2003
IEEE
Service morphing is a set of techniques used to continuously meet an application’s Quality of Service (QoS) needs, in the presence of run-time variations in service locations, p...
132
click to vote
MICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
Excessive power consumption is widely considered as a major impediment to designing future microprocessors. With the continued scaling down of threshold voltages, the power consum...