8874 search results - page 1681 / 1775 » A New Implementation of Automath |
104
Voted
ISCA
1999
IEEE
15 years 8 months ago
1999
IEEE
The trace cache is a recently proposed solution to achieving high instruction fetch bandwidth by buffering and reusing dynamic instruction traces. This work presents a new block-b...
195
click to vote
COBUILD
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses our implementation and experience with a camera-based whiteboard scanner. The ZombieBoard system (so called because it brings to electronic life the marks on a...
132
click to vote
DBPL
1999
Springer
15 years 7 months ago
1999
Springer
Construction of complex software systems with largely off-the-shelf components has become a reality with the wide availability and acceptance of component frameworks and distribut...
130
Voted
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...
120
Voted
MICRO
1999
IEEE
15 years 7 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...