322 search results - page 23 / 65 » Testing Deadlock-Freeness in Real-Time Systems: A Formal App... |
DSD
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
CLEF
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. While classical approaches to unsupervised morphology acquisition often rely on metrics based on information theory for identifying morphemes, we describe a novel approac...
SAFECOMP
1999
Springer
13 years 11 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
ERSA
2006
13 years 9 months ago
2006
High frame rate video capture and image processing is an important capability for applications in defense and homeland security where incoming missiles must be detected in very sh...
RTCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...