125
click to vote
CALCO
15 years 6 months ago
2007 Springer 
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
CALCO
15 years 6 months ago
2007 Springer  CALCO
15 years 6 months ago
2007 Springer
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...
105
click to vote
CALCO
15 years 4 months ago
2007 Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...
CALCO
15 years 4 months ago
2007 Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
|
Mathematics