Sciweavers

868 search results - page 130 / 174
» Debugging for Model Expansion
Sort
View
PPL
2008
101views more  PPL 2008»
13 years 9 months ago
Skeletal Parallel Programming with OCamlP3l 2.0
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...
Roberto Di Cosmo, Zheng Li, Susanna Pelagatti, Pie...
SPRINGSIM
2010
13 years 8 months ago
Simplifying parallel and distributed simulation with the DUP system
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...
Nathan S. Evans, Chris GauthierDickey, Christian G...
TSE
2010
151views more  TSE 2010»
13 years 8 months ago
The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
George K. Baah, Andy Podgurski, Mary Jean Harrold
PAM
2012
Springer
12 years 5 months ago
Probe and Pray: Using UPnP for Home Network Measurements
Network measurement practitioners increasingly focus their interest on understanding and debugging home networks. The Universal Plug and Play (UPnP) technology holds promise as a h...
Lucas DiCioccio, Renata Teixeira, Martin May, Chri...
CVPR
2009
IEEE
15 years 5 months ago
Alphabet SOUP: A Framework for Approximate Energy Minimization
Many problems in computer vision can be modeled using conditional Markov random fields (CRF). Since finding the maximum a posteriori (MAP) solution in such models is NP-hard, mu...
Stephen Gould (Stanford University), Fernando Amat...