Sciweavers

2510 search results - page 90 / 502
» The Discipline of Embedded Systems Design
Sort
View
CODES
2001
IEEE
14 years 18 days ago
The usage of stochastic processes in embedded system specifications
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
Axel Jantsch, Ingo Sander, Wenbiao Wu
ISSS
1997
IEEE
128views Hardware» more  ISSS 1997»
14 years 15 days ago
Architectural Exploration and Optimization of Local Memory in Embedded Systems
Embedded processor-based systems allow for the tailoring of the on-chip memory architecture based on application-specific requirements. We present an analytical strategy for explo...
Preeti Ranjan Panda, Nikil D. Dutt, Alexandru Nico...
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
14 years 2 months ago
galsC: A Language for Event-Driven Embedded Systems
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
Elaine Cheong, Jie Liu
ENTCS
2002
98views more  ENTCS 2002»
13 years 8 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
DSD
2008
IEEE
131views Hardware» more  DSD 2008»
14 years 3 months ago
PUFFIN: A Novel Compact Block Cipher Targeted to Embedded Digital Systems
In this paper, we examine the digital hardware design and implementation of a novel compact block cipher, referred to as PUFFIN, that is suitable for embedded applications. An imp...
Huiju Cheng, Howard M. Heys, Cheng Wang