Data representation and efficient solution: a decision diagram approach

DOI10.1007/978-3-540-72522-0_9MaRDI QIDQ3084594zbMATH OpenOpenAlexFDO

Authors Gianfranco Ciardo

Publication date 25 March 2011

Published in Formal Methods for Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72522-0_9

zbMATH Keywords

binary decision diagramsedge-valued decision diagramsKronecker algebramulti-valued decision diagramsstate-space generationsymbolic model checking

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Binary decision diagrams
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Efficient manipulation of decision diagrams
• Validation of Stochastic Systems
• scientific article; zbMATH DE number 2088658

Cited in

(16)

• Efficient manipulation of decision diagrams
• Application of multiroot decision diagrams for integer functions
• Stochastic decision diagrams
• Symbolic reasoning with weighted and normalized decision diagrams
• Compact representations and efficient algorithms for operating guidelines
• DD: a new decision diagram for efficient problem solving in permutation space
• scientific article; zbMATH DE number 2088658 (Why is no real title available?)
• A contribution to the use of decision diagrams for loading and mining transaction databases
• scientific article; zbMATH DE number 1979555 (Why is no real title available?)
• scientific article; zbMATH DE number 2086969 (Why is no real title available?)
• scientific article; zbMATH DE number 2102711 (Why is no real title available?)
• Decision diagrams and dynamic programming
• Validation of Stochastic Systems
• Estimation of the Density of Datasets with Decision Diagrams
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums

This page was built for publication: Data representation and efficient solution: a decision diagram approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3084594)