4421 search results - page 468 / 885 » Libraries |
137
click to vote
GLVLSI
1997
IEEE
15 years 11 months ago
1997
IEEE
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...
228
click to vote
VW
1998
Springer
15 years 11 months ago
1998
Springer
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...
170
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
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...
171
click to vote
PLDI
1997
ACM
15 years 11 months ago
1997
ACM
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...
172
click to vote
SIGCSE
1997
ACM
15 years 11 months ago
1997
ACM
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...