Sciweavers

3221 search results - page 303 / 645
» Termination of Linear Programs
Sort
View
HPCC
2005
Springer
16 years 3 days ago
FAST-EVP: An Engine Simulation Tool
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
Gino Bella, Alfredo Buttari, Alessandro De Maio, F...
139
Voted
HICSS
2003
IEEE
85views Biometrics» more  HICSS 2003»
15 years 12 months ago
Designs for Ramp-Constrained Day-Ahead Auctions
— Some electric power markets allow bidders to specify constraints on ramp rates for increasing or decreasing power production. We show in a small example that a bidder could use...
Shmuel S. Oren, Andrew M. Ross
176
Voted
CPM
2010
Springer
140views Combinatorics» more  CPM 2010»
15 years 11 months ago
Bounds on the Minimum Mosaic of Population Sequences under Recombination
We study the minimum mosaic problem, an optimization problem originated in population genomics. We develop a new lower bound, called the C bound. The C bound is provably higher and...
Yufeng Wu
DAC
2009
ACM
15 years 10 months ago
Fast vectorless power grid verification using an approximate inverse technique
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
Nahi H. Abdul Ghani, Farid N. Najm
CASES
2003
ACM
15 years 10 months ago
Efficient spill code for SDRAM
Processors such as StrongARM and memory such as SDRAM enable efficient execution of multiple loads and stores in a single instruction. This is particularly useful in connection wi...
V. Krishna Nandivada, Jens Palsberg