108 search results - page 11 / 22 » Verifying Design with Proof Scores |
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
ICASSP
2011
IEEE
2011
IEEE
Polyphonic audio-to-score alignment based on Bayesian Latent Harmonic Allocation Hidden Markov Model
13 years 9 days ago
This paper presents a Bayesian method for temporally aligning a music score and an audio rendition. A critical problem in audio-toscore alignment is in dealing with the wide varie...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
TSE
2002
13 years 8 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
ASWEC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...