359 search results - page 14 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
126
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
117
Voted
AAAI
1994
15 years 4 months ago
1994
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
135
Voted
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
112
Voted
WMPI
2004
ACM
15 years 8 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
108
Voted
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...