1980 search results - page 119 / 396 » Compositional Model Checking of Real Time Systems |
131
Voted
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
— Desktop grids use the idle cycles of desktop PC’s to provide huge computational power at low cost. However, because the underlying desktop computing resources are volatile, a...
114
Voted
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
155
click to vote
ANSOFT
2002
15 years 1 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
114
click to vote
RP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
108
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The FlexRay protocol [4] is likely to be the de facto standard for automotive communication systems. Hence, there is a need to provide hard performance guarantees on properties li...