4421 search results - page 609 / 885 » Libraries |
123
click to vote
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
As technology scales down, timing verification of digital integrated circuits becomes an increasingly challenging task due to the gate and wire variability. Therefore, statistical...
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
137
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...
125
click to vote
ELPUB
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we report on our experience with the creation of an automated, human-assisted process to extract metadata from documents in a large (>100,000), dynamically growi...
126
click to vote
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...