799 search results - page 44 / 160 » Generating Reliable Code from Hybrid-Systems Models |
VMCAI
2004
Springer
14 years 4 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
DOCENG
2010
ACM
14 years 2 days ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
ICASSP
2011
IEEE
13 years 2 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...
CODES
2006
IEEE
14 years 5 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
WISE
2007
Springer
14 years 5 months ago
2007
Springer
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...