Learn More
This paper presents a laboratory information management system for DNA sequences (LIMS) created and based on the needs of a DNA barcoding project at the CBS-KNAW Fungal Biodiversity Centre (Utrecht, the Netherlands). DNA barcoding is a global initiative for species identification through simple DNA sequence markers. We aim at generating barcode data for all(More)
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microthreaded architecture, a multi-core architecture capable of integrating hundreds to hundreds of thousands of processors on single silicon chip. We use the Abstract State Machine (ASM) as a theoretical framework for the specification of the(More)
Bergstra, Ponse and van der Zwaag introduced in 2003 the notion of orthogonal bisimulation equivalence on labeled transition systems. This equivalence is a refinement of branching bisimulation, in which consecutive τ-actions (silent steps) can be compressed into one (but not zero) τ-actions. The main advantage of orthogonal bisimulation, compared to(More)
iii iv Preface The conference on Integrated Formal Methods is held for the fifth time, this time at the Technische Universiteit Eindhoven (the Netherlands). The conference addresses the integration of formal methods (semantics, methodologies, and/or verification algorithms), and attempts to provide meaningful and effective answers to questions regarding(More)