scientific article; zbMATH DE number 2112983

zbMATH Open1082.68077MaRDI QIDQ4824482FDOQ4824482

Authors: Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, Frederic Doucet, Rajesh K. Gupta 

Publication date: 1 November 2004

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 2130685
• scientific article; zbMATH DE number 856546
• scientific article; zbMATH DE number 2102707
• System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
• A methodology for hardware verification using compositional model checking

zbMATH Keywords

multi-clocked synchronous formalismpolychronous model of computation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (7)

• Verification of system level model transformations
• Title not available (Why is that?)
• Computer Aided Verification
• Compositional strategy mapping
• System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
• A compositional behavioral modeling framework for embedded system design and conformance checking
• A framework for modeling the distributed deployment of synchronous designs

Uses Software

• SIGNAL
• Ptolemy
• Polychrony

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4824482)