46
Voted
SAC
2015
ACM
9 years 4 months ago
2015
ACM
46
Voted
SAC
2015
ACM
9 years 4 months ago
2015
ACM
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...
41
Voted
SAC
2015
ACM
9 years 4 months ago
2015
ACM
45
Voted
SAC
2015
ACM
9 years 4 months ago
2015
ACM
51
Voted
SAC
2015
ACM
2015
ACM
TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink
9 years 4 months ago
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...
49
Voted
SAC
2015
ACM
9 years 4 months ago
2015
ACM
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...
55
Voted
SAC
2015
ACM
9 years 4 months ago
2015
ACM
During the initial construction and subsequent maintenance of an application, duplication of functionality is common, whether intentional or otherwise. This replicated functionali...
51
Voted
SAC
2015
ACM
9 years 4 months ago
2015
ACM
Architecture-based approaches to self-adaptation rely on architectural descriptions to reason about the best way of adapting the structure and behavior of software-intensive syste...
52
Voted
SAC
2015
ACM
9 years 4 months ago
2015
ACM
Commoditizing idle computing resources by sharing them in a marketplace has gained increased attention in recent years as a potential disruption to the modern cloud-based service ...
54
Voted
SAC
2015
ACM
9 years 4 months ago
2015
ACM