Sciweavers

67 search results - page 8 / 14
» Characterizing and modeling the behavior of context switch m...
Sort
View
RTSS
2000
IEEE
15 years 2 months ago
Performance Specifications and Metrics for Adaptive Real-Time Systems
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
Chenyang Lu, John A. Stankovic, Tarek F. Abdelzahe...
OSDI
2002
ACM
15 years 10 months ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
74
Voted
ISCA
1995
IEEE
98views Hardware» more  ISCA 1995»
15 years 1 months ago
Instruction Fetching: Coping with Code Bloat
Previous research has shown that the SPEC benchmarks achieve low miss ratios in relatively small instruction caches. This paper presents evidence that current software-development...
Richard Uhlig, David Nagle, Trevor N. Mudge, Stuar...
AMC
2005
95views more  AMC 2005»
14 years 9 months ago
Detection and continuation of a border collision bifurcation in a forest fire model
The behavior of the simplest forest fire model is studied in this paper through bifurcation analysis. The model is a second-order continuous-time impact model where vegetational g...
Fabio Dercole, Stefano Maggi
WAIM
2005
Springer
15 years 3 months ago
FECT: A Modelling Framework for Automatically Composing Web Services
In this paper, we propose FECT, a new modelling framework for describing and composing heterogenous Web services to satisfy emergent requirements. In FECT, a three-dimension descri...
Lishan Hou, Zhi Jin