2227 search results - page 65 / 446 » Reversibility and Models for Concurrency |
WCRE
2007
IEEE
14 years 4 months ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
ACSD
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
EURODAC
1995
IEEE
14 years 1 months ago
1995
IEEE
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
JMLR
2010
13 years 4 months ago
2010
We propose a fully Bayesian approach for generalized kernel models (GKMs), which are extensions of generalized linear models in the feature space induced by a reproducing kernel. ...
WOSP
2010
ACM
14 years 4 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...