1039 search results - page 41 / 208 » The Def-inite Approach to Dependency Analysis |
104
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
ICPP
1998
IEEE
15 years 5 months ago
1998
IEEE
We propose a new universal High-Level Information (HLI) format to effectively integrate front-end and back-end compilers by passing front-end information to the back-end compiler....
107
click to vote
QSIC
2006
IEEE
15 years 7 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
130
click to vote
IWPSE
2003
IEEE
15 years 6 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
124
click to vote
CSREAESA
2003
15 years 2 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...