Sciweavers

1623 search results - page 67 / 325
» No Sorting
Sort
View
ICLP
1995
Springer
15 years 7 months ago
Type Inferencing for Polymorphic Order-Sorted Logic Programs
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
Christoph Beierle
IPPS
1995
IEEE
15 years 7 months ago
Fault-tolerant sorting in SIMD hypercubes
Amitabh Mishra, Yeimkuan Chang, Laxmi N. Bhuyan, F...
STOC
1997
ACM
106views Algorithms» more  STOC 1997»
15 years 7 months ago
Improved Routing and Sorting on Multibutterflies
Bruce M. Maggs, Berthold Vöcking
SI3D
1995
ACM
15 years 7 months ago
The Sort-First Rendering Architecture for High-Performance Graphics
Interactive graphics applications have long been challenging graphics system designers by demanding machines that can provide ever increasing polygon rendering performance. Anothe...
Carl Mueller