10718 search results - page 707 / 2144 » On the Circuit Implementation Problem |
181
click to vote
CLEIEJ
2004
15 years 7 months ago
2004
Optimizing the pump-scheduling is an interesting proposal to achieve cost reductions in water distribution pumping stations. As systems grow, pump-scheduling becomes a very diffic...
212
click to vote
SPIN
2004
Springer
16 years 26 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
208
click to vote
ENGL
2008
15 years 7 months ago
2008
High performance computing is becoming increasingly important in the field of financial computing, as the complexity of financial models continues to increase. Many of these financ...
181
click to vote
ICIP
2002
IEEE
16 years 9 months ago
2002
IEEE
Many researchers are working on various aspects of color imaging. However, it is apparent from the papers published that it is difficult for many of them to produce high quality c...
352
click to vote
ICDE
2006
IEEE
16 years 9 months ago
2006
IEEE
Incorporating the skyline operator inside the relational engine requires solving the cardinality estimation and the cost estimation problem, hitherto unaddressed. We propose robus...