3565 search results - page 209 / 713 » Modeling a system controller for timing analysis |
120
Voted
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Previous timing analysis methods have assumed that the worst-case instruction execution time necessarily corresponds to the worst-case behavior. We show that this assumption is wr...
144
click to vote
ISORC
2006
IEEE
15 years 9 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
149
click to vote
SDL
2003
15 years 5 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
230
click to vote
ICCI
1993
15 years 7 months ago
1993
Locking and timestamping are two popular approaches to concurrency control in databases systems. Although more than a dozen analytic performance studies of locking techniques have...
118
Voted
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...