Sciweavers

2810 search results - page 228 / 562
» Contract-Based Component System Design
Sort
View
SAMOS
2004
Springer
15 years 12 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
ITC
2003
IEEE
127views Hardware» more  ITC 2003»
15 years 11 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
ENTCS
2006
161views more  ENTCS 2006»
15 years 6 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
CAISE
2003
Springer
15 years 11 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...
CODES
2001
IEEE
15 years 10 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...