Sciweavers

5186 search results - page 345 / 1038
» Embedded Systems
Sort
View
IFIPTCS
2000
15 years 10 months ago
Masaccio: A Formal Model for Embedded Components
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...
Thomas A. Henzinger
ACMDIS
2010
ACM
15 years 7 months ago
Design from the everyday: continuously evolving, embedded exploratory prototypes
One of the major challenges in the design of social technologies is the evaluation of their qualities of use and how they are appropriated over time. While the field of HCI abound...
Clint Heyer, Margot Brereton
CSREAESA
2006
15 years 8 months ago
A Real-time Face Recognition Board using TMS320C 6414
- Presently Face recognition solution is operating based on PC, and this delays its commercialization comparing other biometric solutions. Even though embedded face recognition sol...
DongHoon Jeon, SoonOh Son, YoungMoon Kim
SIES
2009
IEEE
16 years 1 months ago
A modular fast simulation framework for stream-oriented MPSoC
—The performance estimation of complex multi-processor systems-on-chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to th...
Kai Huang, Iuliana Bacivarov, Jun Liu, Wolfgang Ha...
200
Voted
ECRTS
2005
IEEE
16 years 10 days ago
A Space-Optimal Wait-Free Real-Time Synchronization Protocol
We present a wait-free protocol for the single-writer, multiple-reader problem in small-memory, embedded real-time systems. We analytically establish that our protocol requires le...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen