4083 search results - page 631 / 817 » The EvA2 Optimization Framework |
286
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
Trip planning search (TPS) represents an important class of queries in Geographic Information Systems (GIS). In many real-world applications, TPS requests are issued with a number...
169
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
As the technology node advances into the nanometer era, via-open defects are one of the dominant failures. To improve via yield and reliability, redundant-via insertion is a highl...
253
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Fuel cells are clean power sources that have much higher energy densities and lifetimes compared to batteries. However, fuel cells have limited load following capabilities and can...
201
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Essentially all data mining algorithms assume that the datagenerating process is independent of the data miner's activities. However, in many domains, including spam detectio...
302
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...