AAAAAA

   
Results: 1-15 |
Results: 15
THE COMPLEXITY OF THE INCLUSION OPERATION ON OFDDS
Authors: DRECHSLER R SAUERHOFF M SIELING D
Citation: R. Drechsler et al., THE COMPLEXITY OF THE INCLUSION OPERATION ON OFDDS, IEEE transactions on computer-aided design of integrated circuits and systems, 17(5), 1998, pp. 457-459
ORDERED KRONECKER FUNCTIONAL DECISION DIAGRAMS - A DATA STRUCTURE FORREPRESENTATION AND MANIPULATION OF BOOLEAN FUNCTIONS
Authors: DRECHSLER R BECKER B
Citation: R. Drechsler et B. Becker, ORDERED KRONECKER FUNCTIONAL DECISION DIAGRAMS - A DATA STRUCTURE FORREPRESENTATION AND MANIPULATION OF BOOLEAN FUNCTIONS, IEEE transactions on computer-aided design of integrated circuits and systems, 17(10), 1998, pp. 965-973
OVERVIEW OF DECISION DIAGRAMS
Authors: DRECHSLER R BECKER B
Citation: R. Drechsler et B. Becker, OVERVIEW OF DECISION DIAGRAMS, IEE proceedings. Computers and digital techniques, 144(3), 1997, pp. 187-193
A GENETIC ALGORITHM FOR RKRO MINIMIZATION
Authors: DRECHSLER R BECKER B GOCKEL N
Citation: R. Drechsler et al., A GENETIC ALGORITHM FOR RKRO MINIMIZATION, Expert systems with applications, 12(1), 1997, pp. 127-139
THE K-ASTERISK-BMD - A VERIFICATION DATA STRUCTURE
Authors: DRECHSLER R BECKER B RUPPERTZ S
Citation: R. Drechsler et al., THE K-ASTERISK-BMD - A VERIFICATION DATA STRUCTURE, IEEE design & test of computers, 14(2), 1997, pp. 51-59
SYMPATHY - FAST EXACT MINIMIZATION OF FIXED POLARITY REED-MULLER EXPRESSIONS FOR SYMMETRICAL FUNCTIONS
Authors: DRECHSLER R BECKER B
Citation: R. Drechsler et B. Becker, SYMPATHY - FAST EXACT MINIMIZATION OF FIXED POLARITY REED-MULLER EXPRESSIONS FOR SYMMETRICAL FUNCTIONS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(1), 1997, pp. 1-5
SYMBOLIC SIMULATION USING DECISION DIAGRAMS
Authors: DRECHSLER R HETT A BECKER B
Citation: R. Drechsler et al., SYMBOLIC SIMULATION USING DECISION DIAGRAMS, Electronics Letters, 33(8), 1997, pp. 665-667
GENETIC ALGORITHM FOR DATA SEQUENCING
Authors: DRECHSLER R GOCKEL N
Citation: R. Drechsler et N. Gockel, GENETIC ALGORITHM FOR DATA SEQUENCING, Electronics Letters, 33(10), 1997, pp. 843-845
EXACT MINIMIZATION OF KRONECKER EXPRESSIONS FOR SYMMETRICAL FUNCTIONS
Authors: BECKER B DRECHSLER R
Citation: B. Becker et R. Drechsler, EXACT MINIMIZATION OF KRONECKER EXPRESSIONS FOR SYMMETRICAL FUNCTIONS, IEE proceedings. Computers and digital techniques, 143(6), 1996, pp. 349-354
GENETIC ALGORITHM FOR VARIABLE ORDERING OF OBDDS
Authors: DRECHSLER R BECKER B GOCKEL N
Citation: R. Drechsler et al., GENETIC ALGORITHM FOR VARIABLE ORDERING OF OBDDS, IEE proceedings. Computers and digital techniques, 143(6), 1996, pp. 364-368
FAST OFDD-BASED MINIMIZATION OF FIXED POLARITY REED-MULLER EXPRESSIONS
Authors: DRECHSLER R THEOBALD M BECKER B
Citation: R. Drechsler et al., FAST OFDD-BASED MINIMIZATION OF FIXED POLARITY REED-MULLER EXPRESSIONS, I.E.E.E. transactions on computers, 45(11), 1996, pp. 1294-1299
RELATION BETWEEN OFDDS AND FPRMS
Authors: DRECHSLER R BECKER B
Citation: R. Drechsler et B. Becker, RELATION BETWEEN OFDDS AND FPRMS, Electronics Letters, 32(21), 1996, pp. 1975-1976
ON LOCAL TRANSFORMATIONS AND PATH DELAY-FAULT TESTABILITY
Authors: HENGSTER H DRECHSLER R BECKER B
Citation: H. Hengster et al., ON LOCAL TRANSFORMATIONS AND PATH DELAY-FAULT TESTABILITY, JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 7(3), 1995, pp. 173-191
ON THE RELATION BETWEEN BDDS AND FDDS
Authors: BECKER B DRECHSLER R WERCHNER R
Citation: B. Becker et al., ON THE RELATION BETWEEN BDDS AND FDDS, Information and computation, 123(2), 1995, pp. 185-197
ON THE GENERATION OF AREA-TIME OPTIMAL TESTABLE ADDERS
Authors: BECKER B DRECHSLER R MOLITOR P
Citation: B. Becker et al., ON THE GENERATION OF AREA-TIME OPTIMAL TESTABLE ADDERS, IEEE transactions on computer-aided design of integrated circuits and systems, 14(9), 1995, pp. 1049-1066
Risultati: 1-15 |