2231 search results - page 194 / 447 » Hierarchical back-face computation |
183
click to vote
ICTCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
173
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
196
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Software distributed shared memory (DSM) techniques, while effective on applications with coarse-grained sharing, yield poor performance for the fine-grained sharing encountered i...
186
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...
142
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a menu interface designed primarily for headworn displays that have a small field-of-view. To support interaction with a hierarchical menu, we logically divide an absol...