11 search results - page 1 / 3 » Automated Computation of Decomposable Synchronization Condit... |
HASE
1997
IEEE
13 years 8 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
FMCAD
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
DAC
2000
ACM
14 years 5 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
ICPR
2008
IEEE
14 years 5 months ago
2008
IEEE
We present a distributed machine learning framework based on support vector machines that allows classification problems to be solved iteratively through parallel update algorithm...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
Abstract— A distributed online learning framework for support vector machines (SVMs) is presented and analyzed. First, the generic binary classification problem is decomposed in...