1511 search results - page 264 / 303 » Relational Parametricity for Computational Effects |
156
click to vote
VISUALIZATION
2002
IEEE
15 years 9 months ago
2002
IEEE
Typically 3-D MR and CT scans have a relatively high resolution in the scanning X;Y plane, but much lower resolution in the axial Z direction. This non-uniform sampling of an obje...
131
click to vote
HPCA
1998
IEEE
15 years 8 months ago
1998
IEEE
The explosive growth in the performance of microprocessors and networks has created a new opportunity to reduce the latency of fine-grain communication. Microprocessor clock speed...
164
click to vote
VLDB
1999
ACM
15 years 8 months ago
1999
ACM
Recent high-performance processors employ sophisticated techniques to overlap and simultaneously execute multiple computation and memory operations. Intuitively, these techniques ...
134
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
The convergence on IP of a wide variety of traffic types has strengthened the need for service differentiation. Service differentiation relies on two equally important components:...
132
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The VCG mechanism is the canonical method for motivating bidders in combinatorial auctions and exchanges to bid truthfully. We study two related problems concerning the VCG mechan...