5456 search results - page 904 / 1092 » General Equilibrium Theory |
183
click to vote
ICS
2007
Tsinghua U.
16 years 19 days ago
2007
Tsinghua U.
This paper investigates helper threads that improve performance by prefetching data on behalf of an application’s main thread. The focus is data prefetch helper threads that lac...
152
click to vote
IWMM
2007
Springer
16 years 19 days ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
190
click to vote
PPDP
2007
Springer
16 years 18 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
205
click to vote
ASPLOS
2006
ACM
16 years 13 days ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
168
click to vote
CASES
2006
ACM
16 years 13 days ago
2006
ACM
The architectural design of embedded systems is becoming increasingly idiosyncratic to meet varying constraints regarding energy consumption, code size, and execution time. Tradit...