8874 search results - page 90 / 1775 » A New Implementation of Automath |
109
click to vote
ICW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes the design and the implementation of the Managed Bandwidth Service (MBS) in a high speed backbone network as well as a management tool for the service. The se...
117
Voted
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
117
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a new implementation scheme for XML transformation languages through derivation of stream processors. Most of XML transformation languages are implemented as tree manipu...
114
Voted
EUROMICRO
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we propose a new hardware unit that performs a 16 × 1 SAD operation. The hardware unit is intended to augment a general-purpose core. Further, we show that the 16 ...
114
Voted
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of high performance of VIA, the previous MPI implementati...