Sciweavers

SAC
2015
ACM
8 years 7 months ago
On the distribution of linear combinations of independent Gumbel random variables
Filipe J. Marques, Carlos Agra Coelho, Miguel De C...
SAC
2015
ACM
8 years 7 months ago
Delayed acceptance particle MCMC for exact inference in stochastic kinetic models
Andrew Golightly, Daniel A. Henderson, Chris Sherl...
SAC
2015
ACM
8 years 7 months ago
Bayesian inference via projections
Abstract Bayesian inference often poses difficult computational problems. Even when off-the-shelf Markov chain Monte Carlo (MCMC) methods are available to the problem at hand, mix...
Ricardo Bezerra de Andrade e Silva, Alfredo A. Kal...
SAC
2015
ACM
8 years 7 months ago
COPICA - independent component analysis via copula techniques
Ray-Bing Chen, Meihui Guo, Wolfgang K. Härdle...
SAC
2015
ACM
8 years 7 months ago
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink
Model-based development of CPS is based on the capability of early verification of system properties on a model of the controls and the controlled physical system, and the capabi...
Fabio Cremona, Matteo Morelli, Marco Di Natale
SAC
2015
ACM
8 years 7 months ago
The omission finder for debugging what-should-have-happened bugs in object-oriented programs
Trace-based debuggers help a debugging process by displaying a history of executed operations with their parameters in a run of a program. However, those debuggers are unable to p...
Kouhei Sakurai, Hidehiko Masuhara
SAC
2015
ACM
8 years 7 months ago
Examining the effectiveness of using concolic analysis to detect code clones
During the initial construction and subsequent maintenance of an application, duplication of functionality is common, whether intentional or otherwise. This replicated functionali...
Daniel E. Krutz, Samuel A. Malachowsky, Emad Shiha...