Sciweavers

1238 search results - page 82 / 248
» Power Efficient Processor Architecture and The Cell Processo...
Sort
View
VLSID
2007
IEEE
97views VLSI» more  VLSID 2007»
16 years 6 days ago
Efficient Microprocessor Verification using Antecedent Conditioned Slicing
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraha...
CAL
2005
14 years 11 months ago
The Danger of Interval-Based Power Efficiency Metrics: When Worst Is Best
This paper shows that if the execution of a program is divided into distinct intervals, it is possible for one processor or configuration to provide the best power efficiency over ...
Yiannakis Sazeides, Rakesh Kumar, Dean M. Tullsen,...
IPPS
2007
IEEE
15 years 6 months ago
SWARM: A Parallel Programming Framework for Multicore Processors
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
David A. Bader, Varun Kanade, Kamesh Madduri
ISCAS
2011
IEEE
261views Hardware» more  ISCAS 2011»
14 years 3 months ago
Hardware synchronization for embedded multi-core processors
Abstract— Multi-core processors are about to conquer embedded systems — it is not the question of whether they are coming but how the architectures of the microcontrollers shou...
Christian Stoif, Martin Schoeberl, Benito Liccardi...
FPGA
2008
ACM
133views FPGA» more  FPGA 2008»
15 years 1 months ago
Vector processing as a soft-core CPU accelerator
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...
Jason Yu, Guy Lemieux, Christopher Eagleston