Sciweavers

125 search results - page 8 / 25
» presence 1998
Sort
View
STANDARDVIEW
1998
71views more  STANDARDVIEW 1998»
14 years 9 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»
15 years 1 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
15 years 1 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»
15 years 1 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»
15 years 1 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