Search Sciweavers | Sciweavers

591 search results - page 3 / 119

» Probabilistic Assumption-Based Reasoning

click to vote

DSL
2009

146views Programming Languages» more DSL 2009»

A DSL for Explaining Probabilistic Reasoning

13 years 3 months ago

Download web.engr.oregonstate.edu

We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...

Martin Erwig, Eric Walkingshaw

claim paper

Read More »

click to vote

FASE
2011
Springer

217views Software Engineering» more FASE 2011»

Automated Learning of Probabilistic Assumptions for Compositional Reasoning

12 years 9 months ago

Download www.veriware.org

Probabilistic veriﬁcation techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...

Lu Feng, Marta Z. Kwiatkowska, David Parker

claim paper

Read More »

click to vote

QEST
2010
IEEE

182views Modeling and Simulation» more QEST 2010»

Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs

13 years 3 months ago

Download faculty.ece.illinois.edu

Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...

Jayanand Asok Kumar, Shobha Vasudevan

claim paper

Read More »

click to vote

ICINCO
2009

91views Robotics» more ICINCO 2009»

Where We Stand at Probabilistic Reasoning

13 years 3 months ago