Sciweavers

10493 search results - page 1609 / 2099
» Dynamic Word Problems
Sort
View
ICCAD
2003
IEEE
158views Hardware» more  ICCAD 2003»
16 years 1 months ago
Approaching the Maximum Energy Saving on Embedded Systems with Multiple Voltages
Dynamic voltage scaling (DVS) is arguably the most effective energy reduction technique. The multiple-voltage DVS systems, which can operate only at pre-determined discrete voltag...
Shaoxiong Hua, Gang Qu
ICCAD
2001
IEEE
124views Hardware» more  ICCAD 2001»
16 years 1 months ago
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zh...
CGO
2010
IEEE
15 years 11 months ago
Parameterized tiling revisited
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
Muthu Manikandan Baskaran, Albert Hartono, Sanket ...
HICSS
2009
IEEE
168views Biometrics» more  HICSS 2009»
15 years 11 months ago
Enabling Distributed Model Management Using Semantic Web Technologies
In today’s increasingly dynamic and competitive business environment, organizations strive to leverage their information resources to gain and sustain competitive advantage. Deci...
Amit V. Deokar, Omar F. El-Gayar
HICSS
2009
IEEE
112views Biometrics» more  HICSS 2009»
15 years 11 months ago
Optimal Pumping Schedule and Salinity Control in a Coastal Aquifer: a Decision Support System
Proper management of coastal wells is important in order to satisfy demand, minimize costs, control salinity increase, and ultimately to define water resource strategies which are...
T. Ka'eo Duarte, Riccardo Minciardi, Michela Robba...
« Prev « First page 1609 / 2099 Last » Next »