Sciweavers

125 search results - page 8 / 25
» presence 1998
Sort
View
STANDARDVIEW
1998
71views more  STANDARDVIEW 1998»
13 years 7 months ago
Network externalities in software systems
Network externalities are the effects on the value of a product that can be ascribed to the presence of a network of users of such product. They play an essential role in the busi...
Giancarlo Succi, Paolo Predonzani, Andrea Valerio,...
DFT
1998
IEEE
96views VLSI» more  DFT 1998»
13 years 12 months ago
A Systematic Approach for Diagnosing Multiple Delay Faults
In the presence of multiple delay faults, automated diagnostic procedures that make a single fault assumption may give an incorrect diagnosis. In this paper, a systematic approach...
Jayabrata Ghosh-Dastidar, Nur A. Touba
AISC
1998
Springer
13 years 12 months ago
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
Brigitte Pientka, Christoph Kreitz
DL
1998
Springer
144views Digital Library» more  DL 1998»
13 years 12 months ago
Archival Storage for Digital Libraries
We propose an architecture for Digital Library Repositories that assures long-term archival storage of digital objects. The architecture is formed by a federation of independent b...
Arturo Crespo, Hector Garcia-Molina
FPGA
1998
ACM
160views FPGA» more  FPGA 1998»
13 years 12 months ago
A New Retiming-Based Technology Mapping Algorithm for LUT-based FPGAs
In this paper, we present a new retiming-based technology mapping algorithm for look-up table-based eld programmable gate arrays. The algorithm is based on a novel iterative proce...
Peichen Pan, Chih-Chang Lin