Sökning: "Decision diagrams"
Visar resultat 1 - 5 av 32 avhandlingar innehållade orden Decision diagrams.
1. Graph decision models in a computational decision analytic framework
Sammanfattning : .... LÄS MER
2. On Bayesian Decision Analysis for Evaluating Alternative Actions at Contaminated Sites
Sammanfattning : Today, contaminated land is a widespread infrastructural problem and it is widely recognised that returning all contaminated sites to background levels, or even to levels suitable for the most sensitive land use, is not technically or financially feasible. The large number of contaminated sites and the high costs of remediation, are strong incentives for applying cost-efficient investigation and remediation strategies that consider the inherent uncertainties. LÄS MER
3. Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams
Sammanfattning : Due to the ever-increasing complexity of software and hardware, it is becoming more and more important to develop methods and tools for automatic analysis and synthesis of systems. One obstacle in achieving this goal has been the unmanageable size and complexity of the involved mathematical operations. LÄS MER
4. Applications of decision diagrams in digital circuit design
Sammanfattning : Design methodology of digital circuits is a rapidly changing field. In the last 20 years, the number of transistors on a single chip has increased from thousands to tens of millions. This sets new demands on the design tools involved, their ability to capture specifications on a high level, and finally synthesize them into hardware implementations. LÄS MER
5. Applications of decision diagrams for low power synthesis
Sammanfattning : Power consumption is an important design constraint for circuits used in portable devices. In this thesis an analytic approach to minimize the power dissipation of Binary Decision Diagram (BDD) mapped digital circuits is presented. LÄS MER