7434 search results - page 1214 / 1487 » Still |
199
click to vote
ASPDAC
2005
ACM
16 years 26 days ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
189
click to vote
ASPDAC
2005
ACM
16 years 26 days ago
2005
ACM
To handle modern routing with nanometer effects, we need to consider designs of variable wire widths and spacings, for which gridless routers are desirable due to their great fle...
202
click to vote
ASPDAC
2005
ACM
16 years 26 days ago
2005
ACM
In this paper, we propose a new multi-objective multilevel K-way partitioning which is aware of resource utilization distribution, assuming the resource utilization for a partitio...
224
click to vote
GRAPHITE
2005
ACM
16 years 26 days ago
2005
ACM
The developers and users of real-time graphics, such as games and virtual reality, are demanding ever more realistic computer generated images. Despite the availability of modern ...
168
click to vote
GRAPHITE
2005
ACM
16 years 26 days ago
2005
ACM
Drawing on paper is an experience which is still unmatched by any input device for drawing into a computer in terms of accuracy, dexterity and general pleasantness of use. This pa...