248 search results - page 22 / 50 » Knit: Component Composition for Systems Software |
125
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
94
Voted
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We are developing a module-oriented, multiphysics, mixed-fidelity system simulation environment that will enable engineers to rapidly analyze the performance of a system and to o...
114
click to vote
IFIPTCS
2000
15 years 5 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
83
Voted
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
112
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...