13489 search results - page 726 / 2698 » Operating System |
168
Voted
WISES
2004
15 years 8 months ago
2004
-- A main prerequisite for the successful development of real-time systems is the capability for debugging and monitoring of these systems. The debugging of real-time systems is mo...
189
click to vote
DSN
2002
IEEE
16 years 7 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
163
Voted
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
This paper presents the "Solar" system framework that allows resources to advertise context-sensitive names and for applications to make context-sensitive name queries. ...
210
Voted
SBCCI
2004
ACM
16 years 21 days ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
196
Voted
DEBS
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...