2129 search results - page 300 / 426 » Cutting-Edge Timing Analysis Techniques |
184
click to vote
ICECCS
1996
IEEE
15 years 10 months ago
1996
IEEE
A dynamically reconfigurable real-time software (DRRTS) paradigm can be used effectively in the design of embedded systems to provide many major advantages over conventional softw...
177
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
154
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a toolset, PACE, that provides detailed predictive performance information throughout the implementation and execution stages of an application. It is structur...
147
click to vote
FPLAY
2008
15 years 8 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
167
click to vote
WSC
1998
15 years 7 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...