1980 search results - page 249 / 396 » Compositional Model Checking of Real Time Systems |
153
click to vote
DAC
1999
ACM
15 years 7 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
132
click to vote
WCE
2007
15 years 4 months ago
2007
— In many applications of failure time data analysis, it is important to perform inferences about the median of the distribution function in situations of failure time data model...
122
click to vote
IRI
2003
IEEE
15 years 8 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
156
Voted
ICALP
1997
Springer
15 years 7 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
130
click to vote
RTAS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...