3456 search results - page 57 / 692 » Algorithms for Interface Synthesis |
IFL
2003
Springer
14 years 28 days ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
FM
1999
Springer
14 years 1 hour ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
ICCSA
2003
Springer
14 years 28 days ago
2003
Springer
Numerical simulations of a spherical shock refraction have been successfully conducted by a front tracking method. We demonstrate the e ciency of the front tracking algorithm by co...
ICASSP
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we analyze the convergence of an iterative selftraining semi-supervised support vector machine (SVM) algorithm, which is designed for classi cation in small trainin...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
— The automatic detection of failures in IP paths is an essential step for operators to perform diagnosis or for overlays to adapt. We study a scenario where a set of monitors se...