8132 search results - page 121 / 1627 » Dependability, Abstraction, and Programming |
261
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
155
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
163
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
163
click to vote
IEEEPACT
2006
IEEE
16 years 14 days ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
143
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
: Open Source Software (OSS) development needs to be considered during software development as to whether to develop an OSS packages, and/or whether to develop with OSS. In this pa...