190 search results - page 28 / 38 » Symmetry and Satisfiability: An Update |
136
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
In floorplan design, it is common that a designer will want to control the positions of some modules in the final packing for various purposes like data path alignment, I/O connec...
157
click to vote
STOC
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we present a simple distributed algorithm for resource allocation which simultaneously approximates the optimum value for a large class of objective functions. In p...
188
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
359
click to vote
SIGMOD
2002
ACM
16 years 6 months ago
2002
ACM
XML is quickly becoming the de facto standard for data exchange over the Internet. This is creating a new set of data management requirements involving XML, such as the need to st...
180
click to vote
HAPTICS
2009
IEEE
16 years 23 days ago
2009
IEEE
The force-update-rate requirements of transparent rendering of virtual environments are in conflict with the computational cost required for computing complex interactions betwee...