Back to Results
First PageMeta Content
Complexity classes / Probabilistic complexity theory / Analysis of algorithms / Randomized algorithm / NL / PP / Algorithm / Monte Carlo method / Scheduling / Theoretical computer science / Computational complexity theory / Applied mathematics


Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs Kasper S. Luckow ˘ areanu ˘
Add to Reading List

Document Date: 2014-09-18 09:08:01

Open Document

File Size: 500,73 KB

Share Result on Facebook

Company

MaxP RandomP Airline / Intel / /

Currency

USD / /

Facility

Windy Complex / Denmark CMU/NASA Ames Research Center / Germany University of Stellenbosch / Corina S. Pas Matthew Dwyer Aalborg University / USA University of Nebraska / USA Antonio Filieri Willem Visser University of Stuttgart / /

IndustryTerm

software system / baseline algorithm / i.e. algorithms / approximate algorithms / symbolic execution tool / statistical model checking algorithm / control software / correct solution / Recent applications / software analysis / p-correct algorithms / symbolic execution tools / similar systems / software reliability / similar algorithms / cyber-physical systems / probabilistic software analysis / computing / overall algorithm / statistical algorithm / stateof-the-art statistical model checking algorithm / /

Organization

University of Stellenbosch / Aalborg University / USA Antonio Filieri Willem Visser University of Stuttgart / National Aeronautics and Space Administration / University of Nebraska / Denmark CMU/NASA Ames Research Center / /

Person

Windy Simple / Max MaxP / Random / Daisy Depth / /

Position

Scheduler Evaluation Scheduler / Scheduler Improvement Scheduler / rt / MER Arbiter / deterministic scheduler / head / arbiter / initial scheduler / probabilistic scheduler / flap controller / scheduler / forward / consecutive Scheduler / possible scheduler / Controller / current probabilistic scheduler / /

ProgrammingLanguage

Java / Java bytecode / /

ProvinceOrState

Nebraska / North Carolina / /

Region

South Africa / /

Technology

p-correct algorithms / statistical model checking algorithm / baseline algorithm / randomized algorithm / stateof-the-art statistical model checking algorithm / overall algorithm / i.e. algorithms / approximate algorithms / Monte Carlo algorithm / statistical algorithm / Java / pcorrect Monte Carlo algorithm / simulation / end function Algorithm / /

URL

http /

SocialTag