9110 search results - page 1402 / 1822 » Formally-Based Design Evaluation |
172
click to vote
SIGCOMM
1996
ACM
15 years 11 months ago
1996
ACM
Hierarchical Packet Fair Queueing (H-PFQ)algorithms have the potential to simultaneously support guaranteed realtime service, rate-adaptive best-eort, and controlled linksharing s...
170
click to vote
SIGMOD
1996
ACM
15 years 11 months ago
1996
ACM
The constructionof high-performance databasesystems that combine the best aspects of the relational and object-oriented approaches requires the design of client-server architectur...
190
click to vote
HPDC
1993
IEEE
15 years 11 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
197
click to vote
MICRO
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper explores a novel way to incorporate hardware-programmable resources into a processor microarchitecture to improve the performance of general-purpose applications. Throu...
151
click to vote
CCS
1994
ACM
15 years 11 months ago
1994
ACM
The Escrowed Encryption Standard (EES) defines a US Government family of cryptographic processors, popularly known as "Clipper" chips, intended to protect unclassified g...