Sciweavers

1840 search results - page 131 / 368
» time 2002
Sort
View
SIAMCOMP
2002
153views more  SIAMCOMP 2002»
15 years 4 months ago
A Decision Procedure for Unitary Linear Quantum Cellular Automata
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
Christoph Dürr, Miklos Santha
SIAMCOMP
2002
113views more  SIAMCOMP 2002»
15 years 4 months ago
Fast Greedy Algorithms for Constructing Sparse Geometric Spanners
Given a set V of n points in Rd and a real constant t > 1, we present the first O(n log n)-time algorithm to compute a geometric t-spanner on V . A geometric t-spanner on V is a...
Joachim Gudmundsson, Christos Levcopoulos, Giri Na...
SIGCSE
2002
ACM
178views Education» more  SIGCSE 2002»
15 years 4 months ago
Making compiler design relevant for students who will (most likely) never design a compiler
Compiler Design courses are a common component of most modern Computer Science undergraduate curricula. At the same time, however, compiler design has become a highly specialized ...
Saumya K. Debray
SIGPLAN
2002
15 years 4 months ago
Template meta-programming for Haskell
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...
Tim Sheard, Simon L. Peyton Jones
TOG
2002
134views more  TOG 2002»
15 years 4 months ago
The SAGE graphics architecture
The Scalable, Advanced Graphics Environment (SAGE) is a new high-end, multi-chip rendering architecture. Each single SAGE board can render in excess of 80 million fully lit, textu...
Michael Deering, David Naegle