678 search results - page 36 / 136 » A core flight software system |
CBSE
2006
Springer
15 years 2 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
118
click to vote
ISTA
2008
15 years 16 days ago
2008
Abstract. Integration is one of the pivotal concepts with respect to analyzing, designing and evaluating information systems. Integrating software components as well as integrating...
72
Voted
COLING
2000
15 years 13 days ago
2000
This paper describes a multilingual text generation system in the domain of CAD/CAM software instructions for Bulgarian, Czech and Russian. Starting from a language-independent se...
84
Voted
ISCAS
2003
IEEE
15 years 4 months ago
2003
IEEE
Communication synthesis is an essential step in hardware/software co-synthesis: many embedded systems use automatic generation of interface for point to point communication or use...
115
click to vote
CODES
1998
IEEE
15 years 3 months ago
1998
IEEE
The implementation of codesign applications generally requires the use of heterogeneous resources (e.g., processor cores, hardware accelerators) in one system. Interfacing hardwar...