9521 search results - page 296 / 1905 » Compiling with continuations, continued |
200
click to vote
ATVA
2007
Springer
16 years 25 days 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...
190
click to vote
BERTINORO
2005
Springer
16 years 5 days 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...
155
click to vote
OOPSLA
2005
Springer
16 years 4 days 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...
172
click to vote
IEEEAMS
2003
IEEE
15 years 12 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...
189
Voted
MICRO
2002
IEEE
15 years 11 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...