7640 search results - page 179 / 1528 » Event Database Processing |
119
click to vote
ISORC
2003
IEEE
15 years 8 months ago
2003
IEEE
The processes of accessing a shared communication media have been extensively researched in the dependability and real-time area. For embedded systems, the primary approaches have...
144
click to vote
HPCN
2000
Springer
15 years 6 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
114
click to vote
FAST
2007
15 years 4 months ago
2007
//TRACE1 is a new approach for extracting and replaying traces of parallel applications to recreate their I/O behavior. Its tracing engine automatically discovers inter-node data ...
134
click to vote
ICFEM
2009
Springer
15 years 23 days ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
119
click to vote
TSMC
2011
14 years 10 months ago
2011
— Most state-based approaches to fault diagnosis of discrete-event systems require a complete and accurate model of the system to be diagnosed. In this paper, we address the prob...