Sciweavers

5506 search results - page 44 / 1102
» Minimal Logic Programs
Sort
View
94
Voted
ATS
2003
IEEE
105views Hardware» more  ATS 2003»
15 years 6 months ago
Minimizing Defective Part Level Using a Linear Programming-Based Optimal Test Selection Method
Recent probabilistic test generation approaches have proven that detecting single stuck-at faults multiple times is effective at reducing the defective part level (DPL). Unfortuna...
Yuxin Tian, Michael R. Grimaila, Weiping Shi, M. R...
ICGA
1993
145views Optimization» more  ICGA 1993»
15 years 2 months ago
Genetic Programming of Minimal Neural Nets Using Occam's Razor
A genetic programming method is investigated for optimizing both the architecture and the connection weights of multilayer feedforward neural networks. The genotype of each networ...
Byoung-Tak Zhang, Heinz Mühlenbein
95
Voted
ASPDAC
2005
ACM
97views Hardware» more  ASPDAC 2005»
15 years 2 months ago
Fast synthesis of exact minimal reversible circuits using group theory
- We present fast algorithms to synthesize exact minimal reversible circuits for various types of gates and costs. By reducing reversible logic synthesis problems to group theory p...
Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek...
DAC
1996
ACM
15 years 4 months ago
Delay Minimal Decomposition of Multiplexers in Technology Mapping
Technology mapping requires the unmapped logic network to be represented in terms of base functions, usually two-input NORs and inverters. Technology decomposition is the step tha...
Shashidhar Thakur, D. F. Wong, Shankar Krishnamoor...
181
Voted
POPL
2002
ACM
16 years 1 months ago
Analyzing security protocols with secrecy types and logic programs
Bruno Blanchet, Martín Abadi