7557 search results - page 14 / 1512 » Modeling Timed Concurrent Systems |
129
click to vote
REX
1991
15 years 4 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
110
click to vote
SAMOS
2007
Springer
15 years 7 months ago
2007
Springer
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
139
click to vote
RTSS
1993
IEEE
15 years 5 months ago
1993
IEEE
Studies in [7,8, 91 concluded that for a variety of reasons, optimistic concurrency control appears well-suited to real-time database systems. Especially, they showed that in a re...
116
click to vote
ICNS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— In this paper we propose a novel method for associating Wireless Mobile Nodes (WMNs) to Access Points (APs) in busy Wireless access networks. The proposed method associ...
105
click to vote
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...