654 search results - page 57 / 131 » Cosimulation of real-time control systems |
160
click to vote
ICTAC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
173
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
—The problem of scheduling a set of tasks on a multiprocessor architecture is addressed. Tasks are assumed to be sporadic with arbitrary deadlines and may migrate between process...
197
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
158
click to vote
IICS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
317
click to vote
SOFTCOMP
2010
15 years 5 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...