3565 search results - page 130 / 713 » Modeling a system controller for timing analysis |
124
click to vote
CONCUR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
147
Voted
JSA
2000
15 years 3 months ago
2000
In this article, the problem of finding a tight estimate on the worst-case execution time (WCET) of a real-time program is addressed. The analysis is focused on straight-line code...
169
click to vote
RTSS
2002
IEEE
15 years 8 months ago
2002
IEEE
When executing soft real-time tasks in a shared processor, it is important to properly allocate the computational resources such that the quality of service requirements of each t...
119
Voted
IPSN
2005
Springer
15 years 8 months ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...
116
Voted
EICS
2009
ACM
15 years 9 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...