4722 search results - page 258 / 945 » Representation-independent program analysis |
187
click to vote
AMR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Although many different types of technologies for information systems have evolved over the last decades (such as databases, video systems, the Internet and mobile telec...
177
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
Static path analysis is a key process of Worst Case Execution Time (WCET) estimation, the objective of which is to find the execution path that has the largest execution time. Cur...
139
click to vote
SIAMMAX
2010
15 years 1 months ago
2010
The main goal of this paper is to develop a numerical procedure for construction of covariance matrices such that for a given covariance structural model and a discrepancy function...
222
click to vote
CSL
2007
Springer
16 years 20 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
197
click to vote
KDD
1999
ACM
15 years 10 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...