Sciweavers

357 search results - page 16 / 72
» Embedded in the Shadow of the Separator
Sort
View
DATE
2006
IEEE
112views Hardware» more  DATE 2006»
14 years 1 months ago
Simultaneously improving code size, performance, and energy in embedded processors
Code size and energy consumption are critical design concerns for embedded processors as they determine the cost of the overall system. Techniques such as reduced length instructi...
Ahmad Zmily, Christos Kozyrakis
ISM
2006
IEEE
150views Multimedia» more  ISM 2006»
14 years 1 months ago
Blind Detection for Additive Embedding Using Underdetermined ICA
This paper presents an efficient blind watermark detection scheme for additive embedding (AE) based on underdetermined independent component analysis (ICA) framework. The propose...
Hafiz Malik, Ashfaq A. Khokhar, Rashid Ansari, Mar...
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
13 years 11 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
STOC
2004
ACM
88views Algorithms» more  STOC 2004»
14 years 8 months ago
Expander flows, geometric embeddings and graph partitioning
We give a O( log n)-approximation algorithm for sparsest cut, edge expansion, balanced separator, and graph conductance problems. This improves the O(log n)-approximation of Leig...
Sanjeev Arora, Satish Rao, Umesh V. Vazirani
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
14 years 17 days ago
The Modelling of Embedded Systems Using HASoC
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
M. D. Edwards, P. N. Green