Sciweavers

4421 search results - page 468 / 885
» Libraries
Sort
View
113
Voted
GLVLSI
1997
IEEE
105views VLSI» more  GLVLSI 1997»
15 years 8 months ago
OLIVIA: Objectoriented Logicsimulation Implementing the VITAL Standard
In a VHDL-based design flow for applicationspecific integrated circuits, VITAL provides a uniform methodology for developing ASIC libraries for signoff simulation. The VITAL Sta...
Josef Fleischmann, Rolf Schlagenhaft, Martin Pelle...
VW
1998
Springer
174views Virtual Reality» more  VW 1998»
15 years 8 months ago
Webots: Symbiosis Between Virtual and Real Mobile Robots
Abstract. This paper presents Webots: a realistic mobile robot simulator allowing a straightforward transfer to real robots. The simulator currently support the Khepera mobile robo...
Olivier Michel
CHI
1997
ACM
15 years 8 months ago
A Comparison of Reading Paper and On-Line Documents
We report on a laboratory study that compares reading from paper to reading on-line. Critical differences have to do with the major advantages paper offers in supporting annotatio...
Kenton O'Hara, Abigail Sellen
138
Voted
PLDI
1997
ACM
15 years 8 months ago
Data-centric Multi-level Blocking
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
Induprakas Kodukula, Nawaaz Ahmed, Keshav Pingali
127
Voted
SIGCSE
1997
ACM
113views Education» more  SIGCSE 1997»
15 years 8 months ago
Online evaluation in WWW-based courseware
The QUIZIT system has been developed to support adaptive as well as standard testing, along with automatic grading and record keeping, using the WWW as a delivery vehicle. In conn...
Lúcio Cunha Tinoco, N. Dwight Barnette, Edw...