Sciweavers

32032 search results - page 6168 / 6407
» Verified programming in Guru
Sort
View
ICRA
1999
IEEE
151views Robotics» more  ICRA 1999»
15 years 11 months ago
Interaction with a Realtime Dynamic Environment Simulation Using a Magnetic Levitation Haptic Interface Device
A high performance six degree-of-freedom magnetic levitation haptic interface device has been integrated with a physically-based dynamic rigid-body simulation to enable realistic ...
Peter J. Berkelman, Ralph L. Hollis, David Baraff
CANPC
1999
Springer
15 years 11 months ago
Implementing Application-Specific Cache-Coherence Protocols in Configurable Hardware
Streamlining communication is key to achieving good performance in shared-memory parallel programs. While full hardware support for cache coherence generally offers the best perfo...
David Brooks, Margaret Martonosi
IPPS
1999
IEEE
15 years 11 months ago
A Graph Based Framework to Detect Optimal Memory Layouts for Improving Data Locality
In order to extract high levels of performance from modern parallel architectures, the effective management of deep memory hierarchies is very important. While architectural advan...
Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanuja...
COLT
1999
Springer
15 years 11 months ago
Regret Bounds for Prediction Problems
We present a unified framework for reasoning about worst-case regret bounds for learning algorithms. This framework is based on the theory of duality of convex functions. It brin...
Geoffrey J. Gordon
DBPL
1999
Springer
102views Database» more  DBPL 1999»
15 years 11 months ago
Union Types for Semistructured Data
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
Peter Buneman, Benjamin C. Pierce
« Prev « First page 6168 / 6407 Last » Next »