967 search results - page 106 / 194 » Probabilistic Predicative Programming |
131
click to vote
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
92
Voted
SBACPAD
2004
IEEE
15 years 4 months ago
2004
IEEE
High-performance superscalar processors are designed with the help of complex simulation environment. The simulation infrastructure permits to validate the processor instruction s...
128
click to vote
IPL
2008
15 years 2 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
121
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
116
click to vote
AROBOTS
2004
15 years 2 months ago
2004
We propose a new method to program robots based on Bayesian inference and learning. It is called BRP for Bayesian Robot Programming. The capacities of this programming method are d...