1578 search results - page 119 / 316 » Self-healing systems - survey and synthesis |
ISSS
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
LOPSTR
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
DAC
1994
ACM
14 years 1 months ago
1994
ACM
We describe ASTRX/OBLX, a synthesis system that can size high-performance analog circuit topologies to meet usersupplied linear performance specifications without designer-supplied...
CCE
2010
13 years 7 months ago
2010
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...
ICCV
1999
IEEE
14 years 11 months ago
1999
IEEE
Rendering photorealistic virtual objects from their real images is one of the main research issues in mixed reality systems. We previously proposed the Eigen-Texture method, a new...