1880 search results - page 116 / 376 » A Static Analysis for Beta-Binders |
117
click to vote
SOSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
100
click to vote
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
A vast literature has been published on Statistical Static Timing Analysis (SSTA), its motivations, its different implementations and their runtime/accuracy trade-offs. However, v...
DAC
2006
ACM
16 years 24 days ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
ICSE
2009
IEEE-ACM
16 years 20 days ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...