14244 search results - page 586 / 2849 » Modeling Program Predictability |
154
Voted
PADL
2010
Springer
16 years 3 months ago
2010
Springer
This paper describes a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational da...
192
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
152
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
We show how models for prediction with expert advice can be defined concisely and clearly using hidden Markov models (HMMs); standard HMM algorithms can then be used to efficientl...
156
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract--This paper presents a channel model suitable for multiwire overhead medium voltage lines. This model, incorporating ground admittance, is more appropriate at higher frequ...
194
Voted
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...