13271 search results - page 2583 / 2655 » Computers, Programming, and People |
177
click to vote
FPGA
2007
ACM
16 years 5 days ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
171
click to vote
GECCO
2007
Springer
16 years 5 days ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
149
click to vote
HIPEAC
2007
Springer
16 years 5 days ago
2007
Springer
Computer architects and designers rely heavily on simulation. The downside of simulation is that it is very time-consuming — simulating an industry-standard benchmark on today...
162
click to vote
ICALP
2007
Springer
16 years 5 days ago
2007
Springer
d Abstract) Paul Beame1, , Matei David2, , Toniann Pitassi2, , and Philipp Woelfel2,† 1 University of Washington 2 University of Toronto Abstract. We solve some fundamental probl...
158
click to vote
ICALP
2007
Springer
16 years 5 days ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...