170 search results - page 10 / 34 » Debugging Optimised Code Using Function Interpretation |
105
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
101
click to vote
ICSEA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
PLILP
1993
Springer
15 years 6 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
121
click to vote
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
140
click to vote
WCET
2010
14 years 12 months ago
2010
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger sof...