WorldCat Identities
Thu Oct 16 17:58:03 2014 UTClccn-n850315870.00CONTRIBUTION A L'ETUDE DES EQUIVALENCES SYNTAXIQUES ET TRANSFORMATIONS DE PROGRAMMES PARALLELES /0.640.79Advances in Petri nets, 1984 /30958883n 850315871409241Roucairol, G.lccn-n79131464Rozenberg, Grzegorzedtlccn-n85031588Genrich, H.edtviaf-74004762Mesbah, Abdelhalimlccn-n99252859Mokhtari, Mohandlccn-n94003777Banâtre, Michellccn-n85112668Banâtre, Jean-Pierrelccn-n82262924Verjus, Jean-Pierreedtnc-centre national de la recherche scientifique$action thematique programmee parallelisme communication synchronisation franceCentre national de la recherche scientifiqueAction thématique programmée Parallélisme, communication, synchronisation (France)viaf-264015366Caseau, Yves(1963-....).lccn-n77018721Ritchie, Dennis M.Roucairol, G.Conference proceedingsMachine theoryPetri netsComputer scienceSoftware engineeringReengineering (Management)Computer network architecturesManagement information systemsElectronic data processing--Distributed processingParallel processing (Electronic computers)C (Computer program language)19741975197619781983198419851986199019911997200620085571939511QA267ocn419777423ocn846737066ocn797165401ocn417606375ocn6916735412578ocn011928920book19850.79Rozenberg, GrzegorzAdvances in Petri nets, 1984Conference proceedings+-+59570659081322ocn037922134book19970.47Mokhtari, MohandApprendre et maîtriser MATLAB481ocn024031815book19910.53Banâtre, Jean-PierreLes systèmes distribués : expérience du projet Gothic413ocn419777423book19850.66Centre national de la recherche scientifiqueParallélisme, communication et synchronisation252ocn492152895book20060.59Caseau, YvesUrbanisation et BPM : le point de vue d'un DSI182ocn417606375book19840.50Kernighan, Brian WLe langage CUn véritable manuel d'enseignement, dans lequel "chaque notion est introduite à partir d'exemples qui sont ensuite repris pour être progressivement enrichis de nouveaux éléments du langage". Principaux chapitres: Les types, les opérateurs et les expressions - La structure des programmes - Les pointeurs et les tableaux - Les structures - Les entrées et les sorties - L'interface avec le système UNIX. Les auteurs supposent connus les éléments de base de la programmation71ocn490682733book1978Roucairol, GCONTRIBUTION A L'ETUDE DES EQUIVALENCES SYNTAXIQUES ET TRANSFORMATIONS DE PROGRAMMES PARALLELESDEFINITION D'UN SCHEMA DE PROGRAMMES PARALLELES. EQUIVALENCES SYNTAXIQUES DE SCHEMAS. COMPARAISON DE SCHEMAS INTERPRETATIFS. COMPARAISON DE CHARTES PARALLELES COMPACTES. TRANSFORMATION D'UN PROGRAMME SEQUENTIEL EN PROGRAMME PARALLELE. REDUCTION DU NOMBRE DE MEMOIRES D'UN SCHEMA PARALLELE A ASSIGNATION UNIQUE. VERS UN ACCROISSEMENT DU PARALLELISME41ocn490588662book19760.47Roucairol, GTRANSFORMATION DE PROGRAMMES SEQUENTIELS EN PROGRAMMES PARALLELESTRANSFORMATIONS DE PROGRAMMES D'UNE PART BIEN STRUCTURES, C'EST-A-DIRE COMPOSES D'INSTRUCTIONS D'AFFECTATION, DE SELECTION ET D'ITERATION ET D'AUTRE PART ECRITS DANS UN LANGAGE A AFFECTATION UNIQUE C'EST-A-DIRE OU TOUTE VARIABLE NE PEUT ETRE AFFECTEE QU'UNE SEULE FOIS31ocn026963303book19850.47Lavallée, IvanUn Algorithme totalement distribué pour construire un arbre couvrant (minimal)32ocn026890428book19840.47Fle, MFree-serializability of iterated transactions32ocn026887972book19840.47Carvalho, O. S. FFurther comments on mutual exclusion in computer networks31ocn026890458book19830.47Fle, Marie-PauleMaximal serializability of iterated transactions31ocn026890483book19830.47Fle, Marie-PauleMultiserialization of iterated transactions32ocn026887963book19840.47Carvalho, OAssertion decomposition for acyclic networks36ocn046112712book19840.47Boudol, GérardPetri nets and algebraic calculi of processes31ocn026890391book19830.47Fle, Marie PauleFair serializability of iterated transactions using FIFO-Nets11ocn490200406book1986Trèves, NicolasLE CALCUL D'INVARIANTS DANS LES RESEAUX DE PETRI A PREDICATS TRANSITIONS UNAIRESLES SEMI-FLOTS DONT LA DEFINITION A ETE ETENDUE A CE MODELE, PERMETTENT D'ETABLIR DES PROPRIETES INVARIANTES SUR LA "STRUCTURE" D'UN RESEAU DE PETRI, C'EST-A-DIRE INDEPENDANTES D'UN MARQUAGE DONNE. LEUR DETERMINATION A LIEU A L'AIDE D'ALGORITHMES BASES SUR LA RECHERCHE DE SOLUTIONS ENTIERES OU ENTIERES POSITIVES DE SYSTEMES LINEAIRES D'EQUATIONS. CERTAINS DE CES ALGORITH;ES SONT EXPONENTIELS ET NOUS NOUS INTERESSONS A LA RECHERCHE D'HEURISTIQUES POUVANT ABAISSER CETTE COMPLEXITE. NOUS MONTRONS QUE CES HEURISTIQUES ENTRAINENT DANS CERTAINS CAS DES AMELIORATIONS REMARQUABLES DES PERFORMANCES ET PERMETTENT AUSSI, GRACE A LA STRUCTURE DES DONNEES GEREE AU SEIN DES PROGRAMMES, L'ANALYSE DE RESEAUX DE TAILLE IMPORTANTE. CE TRAVAIL CONCERNE EGALEMENT L'INTEGRATION DE CES ALGORITHMES DANS UN LOGICIEL PLUS GENERAL CONCU DE FACON EXTENSIBLE, COMPORTANT UN EDITEUR GRAPHIQUE AINSI QUE D'AUTRES OUTILS D'ANALYSE DE RESEAUX DE PETRI01ocn257873287book1974Widory, AA data program segmentation application to the edelweiss system01ocn257872938book1975Roucairol, GTwo transformations of 'single - assignment' programs+-+5957065908+-+5957065908Thu Oct 16 15:22:44 EDT 2014batch9604