Sciweavers

2810 search results - page 228 / 562
» Contract-Based Component System Design
Sort
View
124
Voted
SAMOS
2004
Springer
15 years 9 months ago
Constraints Derivation and Propagation for Large-Scale Embedded Systems Exploration
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
Laurentiu Nicolae, Ed F. Deprettere
106
Voted
ITC
2003
IEEE
127views Hardware» more  ITC 2003»
15 years 8 months ago
Testing of Droplet-Based Microelectrofluidic Systems
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
Fei Su, Sule Ozev, Krishnendu Chakrabarty
117
Voted
ENTCS
2006
161views more  ENTCS 2006»
15 years 3 months ago
Architecture Normalization for Component-based Systems
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...
Lian Wen, R. Geoff Dromey
99
Voted
CAISE
2003
Springer
15 years 8 months ago
Exp-DB: Fast Development of Information Systems for Experiment Tracking
Bioinformatics research groups require information systems keeping track of experiments and their results. However, current solutions are often ad-hoc, difficult to maintain, exten...
Nomair A. Naeem, Stéphane Raymond, Anne Pou...
108
Voted
CODES
2001
IEEE
15 years 7 months ago
A practical tool box for system level communication synthesis
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
Denis Hommais, Frédéric Pétro...