1071 search results - page 46 / 215 » Programming with enumerable sets of structures |
96
Voted
DAC
2010
ACM
15 years 1 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
77
Voted
CSL
2007
Springer
15 years 6 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
117
click to vote
CADE
2005
Springer
16 years 24 days ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
ISPASS
2009
IEEE
15 years 7 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
85
Voted
ICALP
1999
Springer
15 years 4 months ago
1999
Springer
The data sets for many of today's computer applications are too large to t within the computer's internal memory and must instead be stored on external storage devices su...