190 search results - page 28 / 38 » Symmetry and Satisfiability: An Update |
92
Voted
VLSID
2002
IEEE
16 years 2 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...
112
click to vote
STOC
2006
ACM
16 years 2 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...
144
click to vote
SIGMOD
2004
ACM
16 years 1 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...
274
Voted
SIGMOD
2002
ACM
16 years 1 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...
135
click to vote
HAPTICS
2009
IEEE
15 years 8 months 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...