Sciweavers

1072 search results - page 44 / 215
» Fuzzy decision making in embedded system design
Sort
View
ENTCS
2002
98views more  ENTCS 2002»
14 years 11 months ago
Verified Code Generation for Embedded Systems
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
Sabine Glesner, Rubino Geiß, Boris Boesler
LCTRTS
2001
Springer
15 years 4 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
ICCAD
1998
IEEE
120views Hardware» more  ICCAD 1998»
15 years 4 months ago
Communication synthesis for distributed embedded systems
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
Ross B. Ortega, Gaetano Borriello
PERCOM
2010
ACM
14 years 10 months ago
Web services on embedded systems - a performance study
Abstract—A platform-independent communication mechanism is essential for the seamless integration of embedded devices into the Web of Things. Web services provide for such commun...
Christin Groba, Siobhán Clarke
DAC
1999
ACM
16 years 23 days ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno