8874 search results - page 263 / 1775 » A New Implementation of Automath |
149
Voted
ISLPED
2000
ACM
15 years 11 months ago
2000
ACM
A new high-speed Domino circuit, called HS-Domino is developed. HS-Domino resolves the trade-o between performance and noise margins in conventional CD-Domino logic while dissipat...
158
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Fast remote procedure call (RPC) is a major concern for distributed systems. Many studies aimed at efficient RPC consist of either new implementations of the RPC paradigm or manua...
186
Voted
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a new approach for the development of hypertext information systems that avoids a number of traditional hypermedia authoring problems, and facilitates the...
122
Voted
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implemen...
160
click to vote
ICPP
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...