Sciweavers

2784 search results - page 156 / 557
» Light analysis of complex systems
Sort
View
DAC
2006
ACM
14 years 9 months ago
Efficient detection and exploitation of infeasible paths for software timing analysis
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...
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, T...
FM
2008
Springer
148views Formal Methods» more  FM 2008»
13 years 9 months ago
Precise Interval Analysis vs. Parity Games
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
Thomas Gawlitza, Helmut Seidl
CSMR
2008
IEEE
14 years 2 months ago
Using Architectural Models to Predict the Maintainability of Enterprise Systems
Modern software systems are highly interconnected and have been under constant change for many years. IT decision makers find it difficult to predict and plan change projects due ...
Robert Lagerström, Pontus Johnson
WCRE
2008
IEEE
14 years 2 months ago
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies
In this paper, we present a dynamic analysis approach to increase the understandability of a large softwareintensive system, more particularly to enable the identification of depe...
Trosky Boris Callo Arias, Paris Avgeriou, Pierre A...
ICCD
2004
IEEE
113views Hardware» more  ICCD 2004»
14 years 5 months ago
End-to-End Testability Analysis and DfT Insertion for Mixed-Signal Paths
Increasing system complexity and test cost demands new system-level solutions for mixed-signal systems. In this paper, we present a testability analysis and DfT insertion methodol...
Sule Ozev, Alex Orailoglu