3565 search results - page 214 / 713 » Modeling a system controller for timing analysis |
139
Voted
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...
123
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
122
Voted
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— We study asymptotic stability of an infinite dimensional system that switches between a finite set of modes. Each mode is governed by a system of one-dimensional, lin...
109
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
142
Voted
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...