10051 search results - page 1930 / 2011 » A Dynamic Separator Algorithm |
198
Voted
GIS
2007
ACM
16 years 1 months ago
2007
ACM
Accurate and efficient integration of geospatial data is an important problem with applications in areas such as emergency response and urban planning. Some of the key challenges ...
198
Voted
GIS
2008
ACM
16 years 1 months ago
2008
ACM
Co-location pattern discovery is to find classes of spatial objects that are frequently located together. For example, if two categories of businesses often locate together, they ...
125
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
113
click to vote
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Power dissipation is becoming the most challenging design constraint in nanometer technologies. Among various design implementation schemes, standard cell ASICs offer the best pow...
125
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Power has become a critical concern for battery-driven computing systems, on which many applications that are run are interactive. System-level voltage scaling techniques, such as...