Sciweavers

2286 search results - page 46 / 458
» Statistical timing analysis based on a timing yield model
Sort
View
DAC
2003
ACM
16 years 5 months ago
Accurate timing analysis by modeling caches, speculation and their interaction
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
WCET
2010
15 years 2 months ago
METAMOC: Modular Execution Time Analysis using Model Checking
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Tof...
FSKD
2007
Springer
100views Fuzzy Logic» more  FSKD 2007»
15 years 10 months ago
Modeling and Simulation of Extended Fuzzy Timing Workflow Nets Based on Possibility Theory
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
Yanhua Du, Yushun Fan
RTS
2008
131views more  RTS 2008»
15 years 3 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
EUSFLAT
2009
148views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
Fuzzy Tendency based Time Series Model for Forecasting Server Traffic
- For modeling of change of terminal server load, the approach including representation of time series of server parameters in the form of fuzzy time series is used. Further in the...
Nadezhda Yarushkina, Tagir Unusov, Tatyana Afanasy...