9842 search results - page 294 / 1969 » Compositional timing analysis |
129
Voted
EICS
2009
ACM
15 years 11 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
125
Voted
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
With the emergence of multicore network processors in support of high-performance computing and networking applications, power consumption has become a problem of increasing signi...
119
click to vote
SIGMETRICS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present a new metric, Hard-Fault Architectural Vulnerability Factor (H-AVF), to allow designers to more effectively compare alternate hard-fault tolerance scheme...
150
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...
148
Voted
ANTSW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Mobile ad hoc networks are a class of highly dynamic networks. In previous work, we developed a new routing algorithm, called AntHocNet, for these challenging network env...