6740 search results - page 536 / 1348 » Using Classification as a Programming Language |
158
click to vote
SIGCSE
2005
ACM
15 years 10 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
255
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
170
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
Abstract. Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the a...
128
click to vote
PPOPP
1990
ACM
15 years 8 months ago
1990
ACM
Many different parallel programming models, including lightweight processes that communicate with shared memory and heavyweight processes that communicate with messages, have been...
149
click to vote
SAS
1991
Springer
15 years 8 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...