Sciweavers

4761 search results - page 623 / 953
» Components, Frameworks, Patterns
Sort
View
ICCAD
1995
IEEE
114views Hardware» more  ICCAD 1995»
15 years 10 months ago
Sequential synthesis using S1S
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
Adnan Aziz, Felice Balarin, Robert K. Brayton, Alb...
ICPP
1995
IEEE
15 years 10 months ago
The Quest for a Zero Overhead Shared Memory Parallel Machine
– In this paper we present a new approach to benchmark the performance of shared memory systems. This approach focuses on recognizing how far off the performance of a given memor...
Gautam Shah, Aman Singla, Umakishore Ramachandran
CKEC
1991
15 years 10 months ago
Case-Based Reasoning and Model-Based Knowledge Acquisition
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
Dietmar Janetzko, Gerhard Strube
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
15 years 8 months ago
Provably Secure Grouping-Proofs for RFID Tags
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
Mike Burmester, Breno de Medeiros, Rossana Motta
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
15 years 8 months ago
Dynamic test selection for reconfigurable diagnosis
Abstract-- Detecting and isolating multiple faults is a computationally intense task which typically consists of computing a set of tests, and then computing the diagnoses based on...
Mattias Krysander, Fredrik Heintz, Jacob Roll, Eri...