5550 search results - page 1085 / 1110 » Different Approaches to Proof Systems |
102
click to vote
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
HT
2006
ACM
15 years 4 months ago
2006
ACM
Web lectures are a form of educational content that differs from classic hypertext in a number of ways. Web lectures are easier to produce and therefore large amounts of material ...
104
click to vote
ISLPED
2006
ACM
15 years 4 months ago
2006
ACM
As semiconductor manufacturing technology scales to smaller device sizes, the power consumption of clocked digital ICs begins to increase. Dynamic voltage and frequency scaling (D...
MSR
2006
ACM
15 years 4 months ago
2006
ACM
When analyzing the evolution history of a software project, we wish to develop results that generalize across projects. One approach is to analyze design patterns, permitting char...
SIGSOFT
2006
ACM
15 years 4 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...