Sciweavers

9842 search results - page 595 / 1969
» Compositional timing analysis
Sort
View
HASE
1999
IEEE
15 years 11 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
CASES
2008
ACM
15 years 9 months ago
Control flow optimization in loops using interval analysis
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau
ICONIP
2007
15 years 8 months ago
Dynamical Nonstationarity Analysis of Resting EEGs in Alzheimer's Disease
The understanding of nonstationarity, from both a dynamical and a statistical point of view, has turned from a constraint on application of a specific type of analysis (e.g. spectr...
Charles-Francois Vincent Latchoumane, Emmanuel C. ...
MASCOTS
2007
15 years 8 months ago
Analysis of Core-Assisted Routing in Opportunistic Networks
Abstract— Opportunistic Networks (ONs) are a newly emerging type of Delay Tolerant Network (DTN) systems that opportunistically exploit unplanned contacts among nodes to share in...
Muhammad Abdulla, Robert Simon
AAAI
2000
15 years 8 months ago
Graph Construction and Analysis as a Paradigm for Plan Recognition
We present a novel approach to plan recognition in which graph construction and analysis is used as a paradigm. We use a graph structure called a Goal Graph for the plan recogniti...
Jun Hong