1760 search results - page 133 / 352 » A System to Mark Programs Automatically |
147
click to vote
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
143
click to vote
PDPTA
1996
15 years 4 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...
123
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Social bookmarking is the process through which users share tags for online resources like blogs with others. Such collaborative tags provide valuable metadata for retrieval syste...
130
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...