3082 search results - page 35 / 617 » New Bounds for the Controller Problem |
131
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we derive aggregate separation bounds, named after Davenport-MahlerMignotte (DMM), on the isolated roots of polynomial systems, specifically on the minimum distance ...
108
Voted
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
110
Voted
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
97
Voted
JAM
2010
14 years 10 months ago
2010
This paper is devoted to the identification of the unknown smooth coefficient c entering the hyperbolic equation c(x)2 t u-u = 0 in a bounded smooth domain in Rd from partial (on ...
140
Voted
WOMPAT
2001
Springer
15 years 8 months ago
2001
Springer
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although cl...