419 search results - page 53 / 84 » A Thread of HOL Development |
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...
101
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
ENVSOFT
2006
14 years 11 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
115
click to vote
TSE
2010
14 years 10 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
CHI
2004
ACM
16 years 5 days ago
2004
ACM
1 Electronic mail has become the most widely used business productivity application. However, people increasingly feel frustrated by their email. They are overwhelmed by the volum...