Sciweavers

7112 search results - page 346 / 1423
» Power in normative systems
Sort
View
PVM
1997
Springer
15 years 10 months ago
Evaluation of the Communication Performance on a Parallel Processing System
This article presents an evaluation study of point-to-point and collective communication performance on a parallel processing system, a 16 node Parsytec PowerXplorer, using three d...
Luís Paulo Santos, Vítor Castro, Alb...
FMCAD
2004
Springer
15 years 10 months ago
Scalable Automated Verification via Expert-System Guided Transformations
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robe...
EMSOFT
2004
Springer
16 years 2 days ago
Practical PACE for embedded systems
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
Ruibin Xu, Chenhai Xi, Rami G. Melhem, Daniel Moss...
ICC
2007
IEEE
118views Communications» more  ICC 2007»
16 years 1 months ago
Adaptive Data Transmission in Downlink MIMO-OFDM Systems with Pre-Equalization
Abstract— An optimization algorithm for finding user allocation, bit and power loading in the downlink of MIMO-OFDM systems is proposed. The algorithm represents a generalizatio...
Peter Trifonov, Elena Costa
201
Voted
ASPLOS
2008
ACM
15 years 8 months ago
Tapping into the fountain of CPUs: on operating system support for programmable devices
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
Yaron Weinsberg, Danny Dolev, Tal Anker, Muli Ben-...