Sciweavers

951 search results - page 74 / 191
» Hardware design experiences in ZebraNet
Sort
View
PACS
2000
Springer
83views Hardware» more  PACS 2000»
14 years 1 months ago
A Comparison of Two Architectural Power Models
Reducing power, on both a per cycle basis and as the total energy used over the lifetime of an application, has become more important as small and embedded devices become increasi...
Soraya Ghiasi, Dirk Grunwald
DATE
2009
IEEE
119views Hardware» more  DATE 2009»
14 years 1 months ago
Predictive models for multimedia applications power consumption based on use-case and OS level analysis
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
Patrick Bellasi, William Fornaciari, David Siorpae...
ASPDAC
2005
ACM
119views Hardware» more  ASPDAC 2005»
14 years 1 days ago
CMP aware shuttle mask floorplanning
- By putting different chips on the same mask, shuttle mask (or multiple project wafer) provides an economical solution for low volume designs and design prototypes to share the ri...
Gang Xu, Ruiqi Tian, David Z. Pan, Martin D. F. Wo...
ISARCS
2010
156views Hardware» more  ISARCS 2010»
14 years 21 hour ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký
SIGMETRICS
2010
ACM
180views Hardware» more  SIGMETRICS 2010»
13 years 8 months ago
Route oracle: where have all the packets gone?
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
Yaping Zhu, Jennifer Rexford, Subhabrata Sen, Aman...