Sciweavers

9842 search results - page 391 / 1969
» Compositional timing analysis
Sort
View
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...
RTAS
2009
IEEE
15 years 12 months ago
Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints
Thermal management becomes a prominent issue in system design for both server systems and embedded systems. A system could fail if the peak temperature exceeds its thermal constra...
Jian-Jia Chen, Shengquan Wang, Lothar Thiele
HICSS
2005
IEEE
126views Biometrics» more  HICSS 2005»
15 years 10 months ago
Email Chronemics: Unobtrusive Profiling of Response Times
One of the unknowns of emailing is the time it will take the receiver to form and post a reply. Response times vary considerably, and the chronemics of email are an important non-...
Yoram M. Kalman, Sheizaf Rafaeli
ICTAC
2005
Springer
15 years 10 months ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
VTS
2003
IEEE
89views Hardware» more  VTS 2003»
15 years 10 months ago
Diagnosis of Delay Defects Using Statistical Timing Models
— In this paper, we study the problem of delay defect diagnosis based on statistical timing models. We propose a diagnosis algorithm that can effectively utilize statistical timi...
Angela Krstic, Li-C. Wang, Kwang-Ting Cheng, Jing-...