Sciweavers

1834 search results - page 160 / 367
» A Dynamic Multithreading Processor
Sort
View
ADG
2006
Springer
191views Mathematics» more  ADG 2006»
15 years 10 months ago
Automatic Verification of Regular Constructions in Dynamic Geometry Systems
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
Predrag Janicic, Pedro Quaresma
AFRIGRAPH
2010
ACM
15 years 10 months ago
Dynamic load balancing of Lattice Boltzmann free-surface fluid animations
We investigate the use of dynamic load balancing for more efficient parallel Lattice Boltzmann Method (LBM) Free Surface simulations. Our aim is to produce highly detailed fluid ...
Ashley Reid, James E. Gain, Michelle Kuttel
DAC
2004
ACM
16 years 7 months ago
Leakage aware dynamic voltage scaling for real-time embedded systems
A five-fold increase in leakage current is predicted with each technology generation. While Dynamic Voltage Scaling (DVS) is known to reduce dynamic power consumption, it also cau...
Ravindra Jejurikar, Cristiano Pereira, Rajesh K. G...
ICPP
2008
IEEE
16 years 20 days ago
Scalable Dynamic Load Balancing Using UPC
An asynchronous work-stealing implementation of dynamic load balance is implemented using Unified Parallel C (UPC) and evaluated using the Unbalanced Tree Search (UTS) benchmark ...
Stephen Olivier, Jan Prins
GLVLSI
2006
IEEE
155views VLSI» more  GLVLSI 2006»
16 years 8 days ago
Dynamic voltage scaling for multitasking real-time systems with uncertain execution time
Dynamic voltage scaling (DVS) for real-time systems has been extensively studied to save energy. Previous studies consider the probabilistic distributions of tasks’ execution ti...
Changjiu Xian, Yung-Hsiang Lu