Sciweavers

6409 search results - page 218 / 1282
» A Computational Algorithm for Origami Design
Sort
View
DAC
2012
ACM
13 years 9 months ago
An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring
Full-chip thermal monitoring is an important and challenging issue in today’s microprocessor design. In this paper, we propose a new information-theoretic framework to quantitat...
Huapeng Zhou, Xin Li, Chen-Yong Cher, Eren Kursun,...
ASIAN
2004
Springer
107views Algorithms» more  ASIAN 2004»
15 years 12 months ago
A Framework for Compiler Driven Design Space Exploration for Embedded System Customization
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
Krishna V. Palem, Lakshmi N. Chakrapani, Sudhakar ...
DAC
2001
ACM
16 years 7 months ago
Automated Pipeline Design
The interlock and forwarding logic is considered the tricky part of a fully-featured pipelined microprocessor and especially debugging these parts delays the hardware design proce...
Daniel Kroening, Wolfgang J. Paul
MUM
2006
ACM
181views Multimedia» more  MUM 2006»
16 years 14 days ago
Cross-layer design for providing service oriented architecture in a mobile Ad Hoc network
This paper presents a novel cross-layer design for providing service oriented architecture (SOA) in a mobile ad hoc network (MANET). In the design SOA service discovery is integra...
Tommi Halonen, Timo Ojala
FMCAD
2004
Springer
15 years 12 months ago
Approximate Symbolic Model Checking for Incomplete Designs
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
Tobias Nopper, Christoph Scholl