Sciweavers

19798 search results - page 3584 / 3960
» Is Structural Subtyping Useful
Sort
View
219
Voted
POPL
1998
ACM
15 years 11 months ago
A Type System for Java Bytecode Subroutines
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
Raymie Stata, Martín Abadi
175
Voted
HOTOS
1997
IEEE
15 years 11 months ago
Security for Extensible Systems
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
Robert Grimm, Brian N. Bershad
202
Voted
MICCAI
1998
Springer
15 years 11 months ago
Augmented Reality Visualization for Laparoscopic Surgery
We present the design and a prototype implementation of a three-dimensional visualization system to assist with laparoscopic surgical procedures. The system uses 3D visualization, ...
Henry Fuchs, Mark A. Livingston, Ramesh Raskar, D'...
184
Voted
PARA
1998
Springer
15 years 11 months ago
Technologies for Teracomputing: A European Option
Abstract. Ahardware and software environment with performance above 1 Tera ops (teracomputing) is presently required to face the leading computational challenges not only in fundam...
Agostino Mathis
QCQC
1998
Springer
173views Communications» more  QCQC 1998»
15 years 11 months ago
Quantum Wavelet Transforms: Fast Algorithms and Complete Circuits
The quantum Fourier transform (QFT), a quantum analog of the classical Fourier transform, has been shown to be a powerful tool in developing quantum algorithms. However, in classi...
Amir Fijany, Colin P. Williams
« Prev « First page 3584 / 3960 Last » Next »