Sciweavers

1120 search results - page 104 / 224
» time 1999
Sort
View
112
Voted
FOCS
1999
IEEE
15 years 5 months ago
PSPACE Has Constant-Round Quantum Interactive Proof Systems
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
John Watrous
85
Voted
GLVLSI
1999
IEEE
87views VLSI» more  GLVLSI 1999»
15 years 5 months ago
A Radix-16 SRT Division Unit with Speculation of the Quotient Digits
The speed of a divider based on a digit-recurrence algorithm depends mainly on the latency of the quotient digit generation function. In this paper we present an analytical approa...
Gianluca Cornetta, Jordi Cortadella
HASE
1999
IEEE
15 years 5 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
107
Voted
SIGGRAPH
1999
ACM
15 years 5 months ago
Automatic Image Placement to Provide a Guaranteed Frame Rate
We present a preprocessing algorithm and run-time system for rendering 3D geometric models at a guaranteed frame rate. Our approach trades off space for frame rate by using images...
Daniel G. Aliaga, Anselmo Lastra
70
Voted
HICSS
1999
IEEE
87views Biometrics» more  HICSS 1999»
15 years 5 months ago
Telecommuting: Does it Work in the Long Term?
While there is considerable literature reporting the results of studies of benefits and problems associated with telecommuting, there is little longitudinal research available add...
Geoffrey Dick, Ian Duncanson