Sciweavers

548 search results - page 52 / 110
» On the Limitations of Power Macromodeling Techniques
Sort
View
IISWC
2009
IEEE
15 years 6 months ago
Rodinia: A benchmark suite for heterogeneous computing
—This paper presents and characterizes Rodinia, a benchmark suite for heterogeneous computing. To help architects study emerging platforms such as GPUs (Graphics Processing Units...
Shuai Che, Michael Boyer, Jiayuan Meng, David Tarj...
DATE
2008
IEEE
85views Hardware» more  DATE 2008»
15 years 5 months ago
Improved Visibility in One-to-Many Trace Concretization
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
Kuntal Nanshi, Fabio Somenzi
RTAS
2008
IEEE
15 years 5 months ago
TOSSTI: Saving Time and Energy in TinyOS with Software Thread Integration
Many wireless sensor nodes (motes) interface with slow peripheral devices, requiring the processor to wait. These delays waste time, energy and power, which are valuable but limit...
Zane D. Purvis, Alexander G. Dean
DATE
2007
IEEE
167views Hardware» more  DATE 2007»
15 years 5 months ago
A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multip
We present a decomposition strategy to speed up constraint optimization for a representative multiprocessor scheduling problem. In the manner of Benders decomposition, our techniq...
Nadathur Satish, Kaushik Ravindran, Kurt Keutzer
MUE
2007
IEEE
71views Multimedia» more  MUE 2007»
15 years 5 months ago
Query Predicate Preprocessing in Wireless Sensor Networks
With the developments of related techniques in telecommunication and computer sciences, wireless sensor networks have been used more and more widely. While sensor nodes in wireles...
Min Meng, Hui Xu, Byeong-Soo Jeong, Sungyoung Lee,...