Search Sciweavers | Sciweavers

494 search results - page 4 / 99

» Probabilistic Programming in Anglican

159

Voted

DSL
2009

129views Programming Languages» more DSL 2009»

Embedded Probabilistic Programming

15 years 5 months ago

Download www.cs.rutgers.edu

Oleg Kiselyov, Chung-chieh Shan

claim paper

Read More »

155

Voted

ASPLOS
2006
ACM

82views Programming Languages» more ASPLOS 2006»

A probabilistic pointer analysis for speculative optimizations

16 years 1 months ago

Download www.eecg.toronto.edu

Jeff Da Silva, J. Gregory Steffan

claim paper

Read More »

208

click to vote

CSFW
1998
IEEE

116views Security Privacy» more CSFW 1998»

Probabilistic Noninterference in a Concurrent Language

15 years 11 months ago

Download users.cs.fiu.edu

In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...

Dennis M. Volpano, Geoffrey Smith

claim paper

Read More »

146

Voted

GECCO
2005
Springer

92views Optimization» more GECCO 2005»

Scalability of genetic programming and probabilistic incremental program evolution

16 years 28 days ago

Download www.cs.bham.ac.uk

Radovan Ondas, Martin Pelikan, Kumara Sastry

claim paper

Read More »

167

click to vote

IPCO
2007

101views Optimization» more IPCO 2007»

An Integer Programming Approach for Linear Programs with Probabilistic Constraints

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers