462 search results - page 31 / 93 » Symbolic Bounded Synthesis |
195
click to vote
FMOODS
2008
15 years 3 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
133
click to vote
SIGPRO
2008
15 years 1 months ago
2008
This paper introduces a novel method for real-time estimation of slowly varying parameters in nonlinear dynamical systems. The core concept is built upon the principles of symboli...
137
click to vote
ECRTS
2002
IEEE
15 years 6 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
120
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
This paper presents a very low bit-rate F0 coding technique for speaker-dependent phonetic vocoder based on hidden Markov model (HMM) using quantized F0 context. In the proposed t...