1288 search results - page 69 / 258 » On Analysis of Design Component Contracts: A Case Study |
134
click to vote
ASPLOS
1996
ACM
15 years 4 months ago
1996
ACM
Branch prediction is an important mechanism in modern microprocessor design. The focus of research in this area has been on designing new branch prediction schemes. In contrast, v...
DSN
2003
IEEE
15 years 5 months ago
2003
IEEE
Internet measurements have shown that network failures happen frequently, and that existing routing protocols can take multiple seconds, or even minutes, to converge after a failu...
106
click to vote
IADIS
2008
15 years 1 months ago
2008
After an oil spill it is essential to know if an area is going to be affected by the oil slicks generated. The system presented here forecasts the presence or not of oil slicks in...
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
15 years 5 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
206
click to vote
CASES
2011
ACM
13 years 11 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...