Sciweavers

7576 search results - page 1476 / 1516
» UNIX as an Application Program
Sort
View
FQAS
1998
Springer
118views Database» more  FQAS 1998»
14 years 14 days ago
Partial Answers for Unavailable Data Sources
Abstract. Many heterogeneous database system products and prototypes exist today; they will soon be deployed in a wide variety of environments. Most existing systems suffer from an...
Philippe Bonnet, Anthony Tomasic
ARVLSI
1997
IEEE
104views VLSI» more  ARVLSI 1997»
14 years 14 days ago
A High-Speed Asynchronous Decompression Circuit for Embedded Processors
This paper describes the architecture and implementation of a high-speed decompression engine for embedded processors. The engine is targeted to processors where embedded programs...
Martin Benes, Andrew Wolfe, Steven M. Nowick
ECOOPW
1997
Springer
14 years 12 days ago
The Object Model for a Product Based Development Process
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
Pavel Hruby
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
14 years 11 days ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
FOCS
1994
IEEE
14 years 11 days ago
The Load, Capacity and Availability of Quorum Systems
A quorum system is a collection of sets (quorums) every two of which intersect. Quorum systems have been used for many applications in the area of distributed systems, including mu...
Moni Naor, Avishai Wool
« Prev « First page 1476 / 1516 Last » Next »