1204 search results - page 127 / 241 » Hybrid Probabilistic Programs |
JSS
2010
14 years 11 months ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
110
Voted
ISIPTA
2005
IEEE
15 years 6 months ago
2005
IEEE
This papers investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic in...
96
Voted
JILP
2000
15 years 17 days ago
2000
How much do two profiles of the same program differ? When has a profile changed enough to warrant reexamination of the profiled program? And how should two or more profiles be com...
215
Voted
AI
2011
Springer
14 years 7 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
105
click to vote
HPCA
2002
IEEE
16 years 1 months ago
2002
IEEE
This paper advocates that cache coherence protocols use a bandwidth adaptive approach to adjust to varied system configurations (e.g., number of processors) and workload behaviors...