Freq.	Weight	Association
3	3	Binary decision diagram - Formal verification
3	3	Binary decision diagram - Data structure
2	2	Formal verification - VLSI circuit
2	2	Computer aided design - Integrated circuit
2	2	Computer aided design - Data structure
2	2	Circuit design - VLSI circuit
2	2	Circuit design - Formal verification
2	2	Binary decision diagram - VLSI circuit
2	2	Binary decision diagram - Heuristic method
2	2	Binary decision diagram - Computer aided design
2	2	Binary decision diagram - Circuit design
1	1	Heuristic method - VLSI circuit
1	1	Formal verification - Heuristic method
1	1	Data structure - VLSI circuit
1	1	Data structure - Integrated circuit
1	1	Data structure - Heuristic method
1	1	Data structure - Formal verification
1	1	Computer aided design - VLSI circuit
1	1	Computer aided design - Formal verification
1	1	Circuit design - Heuristic method
1	1	Circuit design - Data structure
1	1	Circuit design - Computer aided design
1	1	Binary decision diagram - Integrated circuit

Documents par ordre de pertinence

000223 (2001)	Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]	Data Structures for Boolean Functions BDDs — Foundations and Applications
000213 (2002)	Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]	Algorithms and Heuristics in VLSI Design
000203 (2002)	Christoph Meinel [Allemagne] ; Harald Sack [Allemagne] ; Arno Wagner [Suisse]	WWW.BDD-Portal.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms
000245 (1998)	Anna Slobodova [États-Unis, Slovaquie] ; Christoph Meinel [Allemagne]	Sample Method for Minimization of OBDDs
000228 (2000)	Christoph Meinel [États-Unis, Allemagne] ; Christian Stangier [États-Unis, Allemagne]	Speeding Up Image Computation by Using RTL Information
000275 (1996)	Christoph Meinel [Allemagne] ; Thorsten Theobald [Allemagne]	Local encoding transformations for optimizing OBDD-representations of finite state machines
000178 (2004)	Mohammad Ghasemzadeh [Allemagne] ; Volker Klotz [Allemagne] ; Christoph Meinel [Allemagne]	Embedding Memoization to the Semantic Tree Search for Deciding QBFs
000211 (2002)	Stefan N Her [Allemagne] ; Oliver Zlotowski [Allemagne]	Design and Implementation of Efficient Data Types for Static Graphs
000247 (1998)	Anna Slobodová [Allemagne]	On the composition problem for OBDDs with multiple variable orders
000269 (1997)	C. W. Kessler [Allemagne]	Applicability of program comprehension to sparse matrix computations

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024

	Serveur d'exploration sur l'Université de Trèves
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.