174
Voted
CALCO
15 years 11 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...
131
Voted
CALCO
15 years 11 months ago
2007 Springer  126
Voted
CALCO
15 years 11 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...
143
Voted
CALCO
15 years 9 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...
120
click to vote
CALCO
15 years 9 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