Tag bdd [34 articles] Export

Recent papers classified by the tag bdd.

	Advancements in symbolic traversal techniques [My Copy] Correct Hardware Design and Verification Methods (1993), pp. 155-166. by Gianpiero Cabodi, Paolo Camurati posted to transition_relation transition_function formal_verification bdd by jerometremblay on 2009-12-01 14:01:28 as
	Multi-resolution on compressed sets of clauses [My Copy] Tools with Artificial Intelligence, 2000. ICTAI 2000. Proceedings. 12th IEEE International Conference on (06 August 2002), pp. 2-10. by P. Chatalic, L. Simon posted to sat resolution bdd by gkatsi on 2009-10-19 14:56:27 as
	Parallel approaches to BDD manipulation [My Copy] by I. Grudenic, N. Bogunovic posted to finite_state_machine binary_decision_diagram bdd by jerometremblay on 2009-09-30 19:16:34 as
	Binary Decision Diagrams [My Copy] Computers, IEEE Transactions on In Computers, IEEE Transactions on, Vol. C-27, No. 6. (1978), pp. 509-516. by S. B. Akers posted to bdd by meolic on 2009-09-30 09:19:24 as
	Efficient implementation of a BDD package [My Copy] In DAC '90: Proceedings of the 27th ACM/IEEE conference on Design automation (1990), pp. 40-45. by Karl S. Brace, Richard L. Rudell, Randal E. Bryant posted to bdd by meolic on 2009-09-30 08:49:56 as along with 2 people peskin jhibbits
	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams [My Copy] In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144. by John Whaley, Monica S. Lam posted to verification static source robdd research programming model-checking model method language formal datalog code bdd analysis by incubos on 2009-08-30 18:25:24 as along with 6 people robertjohnsimmons pedagand bec schuh srccheck olesya
	Graph-Based Algorithms for Boolean Function Manipulation [My Copy] # ieeetc, Vol. C-35, No. # 8. (aug # 1986), pp. 677-691. by Randal E. Bryant posted to bdd by streetlightios on 2009-05-12 03:48:36 as along with 6 people pedagand Benet zhensong xiady upalnath zuleger
	Automata and Binary Decision Diagrams [My Copy] Automata Implementation: Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 1998. Revised Papers (1999), pp. 742-742. by Jean-Francis Michon, Jean-Marc Champarnaud posted to automata bdd by sgwyj on 2009-05-06 12:24:59 as
	Intensive Cognitive-Behavioral Therapy for Adolescents With Body Dysmorphic Disorder [My Copy] Clinical Case Studies, Vol. 8, No. 2. (1 April 2009), pp. 113-121. by Mirela A. Aldea, Eric A. Storch, Gary R. Geffken, Tanya K. Murphy posted to adolescence bdd case-reports cbt therapy by jfpsy to the group Clinical_Psychology on 2009-04-29 01:51:20 as
	Ordered binary decision diagrams as knowledge-bases [My Copy] Artificial Intelligence, Vol. 136 by Takashi Horiyama, Toshihide Ibaraki posted to bdd by jmchauvet on 2008-12-09 11:44:21 as along with 1 person jachung
	Body dysmorphic disorder: recognizing and treating imagined ugliness. [My Copy] World Psychiatry, Vol. 3, No. 1. (February 2004), pp. 12-17. by K. A. Phillips posted to bdd diagnosis review treatment by monicadr on 2008-08-06 04:54:13 as along with 1 person and 1 group jfpsy Clinical_Psychology
	Efficient BDD-Based Planning for Non-Deterministic Fault-Tolerant, and Adversarial Domains [My Copy] by Rune M. Jensen posted to ai bdd da nondeterministic planning project-planning by cyph3r on 2008-06-27 15:27:44 as
	Points-to analysis using BDDs [My Copy] SIGPLAN Not., Vol. 38, No. 5. (May 2003), pp. 103-114. by Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie Hendren, Navindra Umanee posted to alias_analysis bdd introduction by srccheck on 2008-05-08 14:19:26 as along with 1 person pedagand
	Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking [My Copy] In IJCAI (2001), pp. 473-478. by Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso posted to bdd supervisory symbolicmodelchecking by voronov on 2008-04-11 14:54:04 as along with 1 person baisemain
	A parallel algorithm for constructing binary decision diagrams [My Copy] Computer Design: VLSI in Computers and Processors, 1990. ICCD '90. Proceedings., 1990 IEEE International Conference on In Computer Design: VLSI in Computers and Processors, 1990. ICCD '90. Proceedings., 1990 IEEE International Conference on (1990), pp. 220-223. by S. Kimura, E. M. Clarke posted to algorithms bdd parallel by bfraser on 2008-03-20 18:11:39 as
	Efficient supervisory synthesis of large systems [My Copy] Control Engineering Practice In The Seventh Workshop On Discrete Event Systems (WODES2004), Vol. 14, No. 10. (October 2006), pp. 1157-1167. by Arash Vahidi, Martin Fabian, Bengt Lennartson posted to bdd chalmers supervisory synthesis by voronov on 2008-02-11 12:17:42 as along with 1 person fernand0
	Efficient reachability analysis on modular discrete-event systems using binary decision diagrams [My Copy] Discrete Event Systems, 2006 8th International Workshop on In Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 288-293. by M. Byrod, B. Lennartson, A. Vahidi, K. Akesson posted to bdd chalmers supremica by voronov on 2008-02-10 22:28:05 as
	Symbolic model checking: 10<sup>20</sup> states and beyond [My Copy] Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 428-439. by J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, L. J. Hwang posted to bdd sat symbolicmodelchecking by voronov on 2008-02-10 21:36:53 as along with 1 person zhensong
	Minimum length synchronizing sequences of finite state machine [My Copy] In DAC '93: Proceedings of the 30th international conference on Design automation (1993), pp. 463-468. by June-Kyung Rho, Fabio Somenzi, Carl Pixley posted to bdd des synchronization by voronov on 2008-01-29 14:05:44 as
	Application of symbolic and bounded model checking to the verification of logic control systems [My Copy] Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on In Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on, Vol. 1 (2005), 4 pp.. by K. Loeis, M. B. Younis, G. Frey posted to bdd bmc des germany plc sat by voronov on 2008-01-23 20:18:48 as along with 1 person dwei98
	Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams [My Copy] Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on In Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on (2005), pp. 2751-2756. by A. Vahidi, B. Lennartson, M. Fabian posted to des bdd by voronov on 2008-01-23 08:44:42 as
	Body dysmorphic disorder in an adolescent girl. [My Copy] J Am Acad Child Adolesc Psychiatry, Vol. 41, No. 12. (December 2002), pp. 1503-1509. by K. Horowitz, K. Gorfinkle, O. Lewis, K. A. Phillips posted to bdd case-reports by jfpsy to the group Clinical_Psychology on 2008-01-15 03:23:16 as
	A Screening Questionnaire for Body Dysmorphic Disorder in a Cosmetic Dermatologic Surgery Practice [My Copy] Dermatologic Surgery, Vol. 27, No. 5. (2001), pp. 457-462. by Raymond G. Dufresne, Katharine A. Phillips, Carmela C. Vittorio, Caroline S. Wilkel posted to assessment bdd diagnosis by jfpsy to the group Clinical_Psychology on 2008-01-15 03:22:03 as
	Ordered Binary Decision Diagrams and the Davis-Putnam Procedure [My Copy] In CCL '94: Proceedings of the First International Conference on Constraints in Computational Logics (1994), pp. 34-49. by Tomás E. Uribe, Mark E. Stickel posted to bdd sat by bfraser on 2007-10-16 02:41:08 as
	Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially [My Copy] Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Revised Papers (2001), 33. by Jan F. Groote, Hans Zantema posted to bdd sat by bfraser on 2007-10-16 00:51:54 as
	Symbolic model checking using SAT procedures instead of BDDs [My Copy] In DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation Conference (1999), pp. 317-320. by A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, Y. Zhu posted to bdd model_checking sat by bfraser on 2007-10-07 02:58:45 as along with 1 person bsilverthorn
	State based control of timed discrete event systems using binary decision diagrams [My Copy] Systems & Control Letters, Vol. 56, No. 1. (January 2007), pp. 62-74. by Ali Saadatpoor, W. M. Wonham posted to supervisoty diagrams decision binary bdd by fernand0 on 2007-01-25 09:37:34 as
	Fast exact minimization of BDDs [My Copy] In DAC '98: Proceedings of the 35th annual conference on Design automation (1998), pp. 200-205. by Rolf Drechsler, Nicole Drechsler, Wolfgang G&\#252;nther posted to bdd by plaugg on 2006-10-30 15:15:57 as
	Improving the variable ordering of OBDDs is NP-complete [My Copy] Computers, IEEE Transactions on, Vol. 45, No. 9. (1996), pp. 993-1002. by B. Bollig, I. Wegener posted to bdd by plaugg on 2006-10-30 15:15:42 as
	Symbolic Boolean manipulation with ordered binary-decision diagrams [My Copy] ACM Comput. Surv., Vol. 24, No. 3. (September 1992), pp. 293-318. by Randal E. Bryant posted to bdd survey by benavides to the group tdg on 2006-06-20 10:59:23 as along with 1 person yaroslavvb
	Variable ordering and selection of FSM traversal [My Copy] Computer-Aided Design, 1991. ICCAD-91. Digest of Technical Papers., 1991 IEEE International Conference on (1991), pp. 476-479. by S. W. Jeong, B. Plessier, G. D. Hachtel, F. Somenzi posted to bdd fsm ordering by bfraser on 2006-02-23 22:08:13 as
	Binary decision diagrams for first-order predicate logic [My Copy] Journal of Logic and Algebraic Programming, Vol. 57, No. 1-2. ( 2003), pp. 1-22. by Friso, Olga Tveretina posted to bdd logic theorem_proving by stavros on 2006-02-04 01:59:24 as
	Higher-Level Specification and Verification with BDDs [My Copy] In CAV '92: Proceedings of the Fourth International Workshop on Computer Aided Verification (1993), pp. 82-95. by Alan J. Hu, David L. Dill, Andreas Drexler, Han C. Yang posted to bdd specification verification by bfraser on 2006-02-01 20:56:34 as
	Symbolic Model Checking: $10^20$ States and Beyond [My Copy] In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (1990), pp. 1-33. by J. Burch, E. Clarke, K. Mcmillan, D. Dill, L. Hwang posted to bdd logic model-checking symbolic verification by Benet on 2005-03-16 23:07:08 as along with 4 people mercutio johannsen mccrimson zuleger

Note: You may cite this page as: http://www.citeulike.org/tag/bdd

sat	6
diagnosis	5
verification	5
case-reports	4
des	3
logic	3
review	3
adolescence	2
ai	2
alias_analysis	2
assessment	2
automata	2
cbt	2
chalmers	2
da	2
model-checking	2
model_checking	2
nondeterministic	2
planning	2
project-planning	2
supervisory	2
survey	2
symbolicmodelchecking	2
therapy	2
treatment	2
741	1
741_20073	1
algorithms	1
analysis	1
binary	1
binary_decision_diagram	1
bmc	1
code	1
compression	1
context_sensitive	1
datalog	1
decision	1
diagrams	1
ee741	1
finite_state_machine	1
formal	1
formal_verification	1
fsm	1
germany	1
introduction	1
language	1
method	1
model	1
ordering	1
parallel	1
petri_net	1
plc	1
pldi04	1
programming	1
research	1
resolution	1
robdd	1
source	1
specification	1
static	1
supervisoty	1
supremica	1
symbolic	1
synchronization	1
synthesis	1
theorem_proving	1
transition_function	1
transition_relation	1

Tag bdd [34 articles] Export

Related Tags