8874 search results - page 1553 / 1775 » A New Implementation of Automath |
188
click to vote
MSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In computer systems today, speed and responsiveness is often determined by network and storage subsystem performance. Faster, more scalable networking interfaces like Fibre Channe...
186
click to vote
OOPSLA
1999
Springer
15 years 11 months ago
1999
Springer
Modern generational garbage collectors look for garbage among the young objects, because they have high mortality; however, these objects include the very youngest objects, which ...
181
click to vote
OOPSLA
1999
Springer
15 years 11 months ago
1999
Springer
Inspections can be used to identify defects in software artifacts. In this way, inspection methods help to improve software quality, especially when used early in software develop...
248
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
Proliferation of communication-intensive real-time applications with elastic" timeliness constraints, such as streaming stored video, requires a new design for endhost commun...
296
click to vote
ASPLOS
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes the Network-Attached Secure Disk (NASD) storage architecture, prototype implementations of NASD drives, array management for our architecture, and three files...