4263 search results - page 762 / 853 » Learning without Coding |
124
click to vote
ASPLOS
2006
ACM
15 years 7 months 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 ...
99
Voted
CASES
2006
ACM
15 years 7 months ago
2006
ACM
With advances in process technology, soft errors (SE) are becoming an increasingly critical design concern. Due to their large area and high density, caches are worst hit by soft ...
155
click to vote
ETRA
2006
ACM
15 years 7 months ago
2006
ACM
Human eyes have limited perception capabilities. Only 2 degrees of our 180 degree vision field provide the highest quality of perception. Due to this fact the idea of perceptual a...
102
click to vote
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
114
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...