5159 search results - page 730 / 1032 » Structural Testing of Executables |
203
click to vote
LCTRTS
2007
Springer
16 years 1 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
201
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
231
click to vote
CODES
2005
IEEE
16 years 26 days ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
198
click to vote
APLAS
2005
ACM
16 years 24 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
207
click to vote
ICS
2005
Tsinghua U.
16 years 22 days ago
2005
Tsinghua U.
Previous studies have shown that array regrouping and structure splitting significantly improve data locality. The most effective technique relies on profiling every access to eve...