6960 search results - page 377 / 1392 » Continuity Analysis of Programs |
116
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
133
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
145
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
142
click to vote
ISCA
1997
IEEE
15 years 9 months ago
1997
IEEE
Improvements in main memory speeds have not kept pace with increasing processor clock frequency and improved exploitation of instruction-level parallelism. Consequently, the gap b...
123
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...