4820 search results - page 463 / 964 » Implementing Signatures for C |
186
click to vote
MATA
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The ACORN provides an agent-based architecture for information retrieval and provision across networks. The main objective of this paper is to present the design and impl...
161
Voted
MIDDLEWARE
2000
Springer
15 years 9 months ago
2000
Springer
Enterprise applications can be structured as domains, where each domain contains objects that are replicated for fault tolerance, with the replication being managed by a fault tole...
157
Voted
POS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
151
Voted
ARVLSI
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper presents a new architecture style for the design of a parallel floating point multiplier. The proposed architecture is a synergy of trees and arrays. Architectural mod...
174
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...