Sciweavers

2510 search results - page 172 / 502
» The Discipline of Embedded Systems Design
Sort
View
DATE
2004
IEEE
143views Hardware» more  DATE 2004»
15 years 8 months ago
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
Claudio Pinello, Luca P. Carloni, Alberto L. Sangi...
IJKM
2007
375views more  IJKM 2007»
15 years 5 months ago
The Quality of Knowledge: Knowledge Patterns and Knowledge Refactorings
: Knowledge management is a relatively young discipline. Nevertheless, it has accumulated a valuable body-of-knowledge in the structuring of knowledge and in the design of socio-te...
Jörg Rech, Björn Decker, Eric Ras, Andre...
118
Voted
EMSOFT
2005
Springer
15 years 10 months ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ICFP
2004
ACM
16 years 5 months ago
From process logic to program logic
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
Kohei Honda
IJDST
2011
117views more  IJDST 2011»
14 years 8 months ago
Integrating Production Automation Expert Knowledge Across Engineering Domains
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, ...