7103 search results - page 1276 / 1421 » Components and Generative Programming |
143
click to vote
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...
145
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
111
click to vote
SOFTVIS
2003
ACM
15 years 8 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
151
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
WAIF is a new framework to facilitate easy user access for Internet users to relevant news items. WAIF supports new kinds of browsers, personalized filters, recommendation systems...
COCO
2003
Springer
15 years 8 months ago
2003
Springer
We continue an investigation of resource-bounded Kolmogorov complexity and derandomization techniques begun in [2, 3]. We introduce nondeterministic time-bounded Kolmogorov comple...