871 search results - page 45 / 175 » Modular Design of Reactive Systems |
DAC
1997
ACM
13 years 11 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
ENTCS
2008
13 years 7 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
SOFTVIS
2010
ACM
13 years 6 months ago
2010
ACM
This paper presents a novel environment for the visual design and prototyping of computer vision systems. The proposed environment consists of a modular architecture, where each m...
TSE
2008
13 years 7 months ago
2008
The metrics formulated to date for characterizing the modularization quality of object-oriented software have considered module and class to be synonymous concepts. But, a typical ...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Retroactivity is a parasitic phenomenon that changes the desired input/output response of a system when it is connected to “downstream” systems. Downstream and upstream ref...