3507 search results - page 277 / 702 » Slicing for architectural analysis |
132
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
A number of methods are presentedfor highly efficient calculation of substratecurrenttransport. A three-dimensionalGreen'sFunction based substrate representation, in combinat...
187
Voted
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. This paper introduces a set of design principles that aim to make processor architectures amenable to static timing analysis. Based on these principles, we give a design ...
188
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
173
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
As real-time systems become more prevalent, there is a need to guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to p...
175
click to vote
ESCIENCE
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a Grid environment developed for analysis of MRI brain data on global Grids. In the current experiment, the MRI data analysis tasks are composed and formulated...