3951 search results - page 476 / 791 » Automatic amortized analysis |
163
click to vote
APLAS
2004
ACM
16 years 5 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
155
click to vote
APLAS
2004
ACM
16 years 5 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
177
click to vote
DOCENG
2004
ACM
16 years 5 days ago
2004
ACM
Enabling an intelligent access to multimedia data requires a powerful description language. In this paper, we demonstrate why the MPEG-7 standard fails to fulfill this task. We i...
169
Voted
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
169
click to vote
ASM
2004
ASM
16 years 4 days ago
2004
ASM
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...