558 search results - page 67 / 112 » Optimizing Symbolic Model Checking for Constraint-Rich Model... |
ICASSP
2011
IEEE
13 years 23 days ago
2011
IEEE
In video coding systems using adaptive arithmetic coding to compress texture information, the employed symbol probability models need to be retrained every time the coding process...
ICPP
1999
IEEE
14 years 1 months ago
1999
IEEE
Task graph scheduling has been found effective in performance prediction and optimization of parallel applications. A number of static scheduling algorithms have been proposed for...
ICCAD
2001
IEEE
14 years 6 months ago
2001
IEEE
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
ICCAD
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents an efficient statistical design methodology that allows simultaneous sizing for performance and optimization for yield and robustness of analog circuits. The s...