1204 search results - page 42 / 241 » Hybrid Probabilistic Programs |
CORR
2009
Springer
13 years 7 months ago
2009
Springer
JIPS
2010
13 years 4 months ago
2010
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
CSFW
2003
IEEE
14 years 3 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...