Sciweavers

2799 search results - page 475 / 560
» computing 1998
Sort
View
ATS
1998
IEEE
76views Hardware» more  ATS 1998»
14 years 2 months ago
Partitioning and Reordering Techniques for Static Test Sequence Compaction of Sequential Circuits
We propose a new static test set compaction method based on a careful examination of attributes of fault coverage curves. Our method is based on two key ideas: 1 fault-list and te...
Michael S. Hsiao, Srimat T. Chakradhar
COOPIS
1998
IEEE
14 years 2 months ago
A Generative Communication Service for Database Interoperability
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
Wilhelm Hasselbring, Mark Roantree
DATE
1998
IEEE
100views Hardware» more  DATE 1998»
14 years 2 months ago
Combinational Verification based on High-Level Functional Specifications
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Bra...
DEXAW
1998
IEEE
116views Database» more  DEXAW 1998»
14 years 2 months ago
Data-Mining: A Tightly-Coupled Implementation on a Parallel Database Server
Due to the increasingly di culty of discovering patterns in real-world databases using only conventional OLAP tools, an automated process such as data mining is currently essentia...
Mauro Sousa, Marta Mattoso, Nelson F. F. Ebecken
HICSS
1998
IEEE
91views Biometrics» more  HICSS 1998»
14 years 2 months ago
Group Support Systems in Primary Processes
Software has migrated from large mainframe based support to personal computer support and more recently to groupware or, more specifically, group support systems (GSS). GSS produc...
Michiel van Genuchten, Douglas R. Vogel, Jay F. Nu...