Deriving Parallel Programs using SANDS tools

1996
Article

Résumé

This paper describes the techniques and the tools developped to construct CO-OPN specifications.

Source officielle

https://infoscience.epfl.ch/record/54578?ln=fr

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

À propos
Confidentialité
Mentions légales

Deriving Parallel Programs using SANDS tools

Development of a Robotic Microsurgeon for Embryonic Research

Flexure-based mecano-optical multi-degree-of-freedom transducers dedicated to medical force sensing instruments

MATHICSE Technical Report : Isogeometric Analysis on V-reps: first results

Development of a Robotic Microsurgeon for Embryonic Research

Flexure-based mecano-optical multi-degree-of-freedom transducers dedicated to medical force sensing instruments

MATHICSE Technical Report : Isogeometric Analysis on V-reps: first results