8874 search results - page 1684 / 1775 » A New Implementation of Automath |
153
click to vote
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
Use of anycast service can considerably simplify many communication applications. Two approaches can be used for routing anycast packets. Single-path routing always uses the same ...
147
Voted
PEPM
1999
ACM
15 years 7 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
130
Voted
RAID
1999
Springer
15 years 7 months ago
1999
Springer
The rapid increase in network bandwidth from mega bits per second to giga bits per second and potentially to tera bits per second, is making it increasingly difficult to carry out...
140
Voted
RT
1999
Springer
15 years 7 months ago
1999
Springer
There is a need for reliable lighting design applications because available tools are limited and inappropriate for interactive or creative use. Architects and lighting designers ...
143
Voted
VLDB
1999
ACM
15 years 7 months ago
1999
ACM
As random access memory gets cheaper, it becomes increasingly affordable to build computers with large main memories. We consider decision support workloads within the context of...