concurrency < concurrent < concurrente

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by concurrent

Number of relevant bibliographic references: 92.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
001C68 (2012)	Lionel Droz-Bartholet [France] ; Jean-Christophe Lapayre [France] ; Fabrice Bouquet [France] ; Eric Garcia [France] ; Alexander Heinisch [France]	Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems
002D99 (2010-03-10)	Sabina Akhtar [France] ; Stephan Merz [France] ; Martin Quinson [France]	Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms
003D67 (2008-11-09)	Claudia-Lavinia Ignat [France] ; Gérald Oster [France]	Awareness of Concurrent Changes in Distributed Software Development
003E97 (2008-08)	Claudia-Lavinia Ignat [France]	Annotation of Concurrent Changes in Collaborative Software Development
004187 (2008)	Luc Buatois [France] ; Guillaume Caumon [France] ; Bruno Lévy [France]	Concurrent number cruncher - A GPU implementation of a general sparse linear solver
004593 (2008)	Tchimou N'Takpé [France] ; Frédéric Suter [France]	Concurrent Scheduling of Parallel Task Graphs on Multi-Clusters Using Constrained Resource Allocations
004723 (2007-09-26)	Luc Buatois [France] ; Guillaume Caumon [France] ; Bruno Lévy [France]	Concurrent Number Cruncher : An Efficient Sparse Linear Solver on the GPU
004959 (2007-04-12)	Samuel Thibault [France] ; Sébastien Hinderer [France]	BrlAPI: Simple, Portable, Concurrent, Application-level Control of Braille Terminals
004E36 (2007)	Gilles Barthe [France] ; Leonor Prensa Nieto [France]	Secure Information Flow for a Concurrent Language with Scheduling
005D13 (2005)	Jean-Raymond Abrial ; Dominique Cansell [France]	Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
006525 (2005)	Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France]	Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
006587 (2004-10-29)	Gilles Barthe [France] ; Leonor Prensa Nieto [France]	Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems
006601 (2004-10)	Yves Laprie [France]	A concurrent curve strategy for formant tracking
006950 (2004)	Leonor Prensa-Nieto ; Gilles Barthe	Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems
007145 (2003-11)	Caroline Brun [France] ; Marc Dymetman [France] ; Eric Fanchon [France] ; Stanislas Lhomme ; Sylvain Pogodalla [France]	Semantically-based text authoring and the concurrent documentation of experimental protocols
007500 (2003)	Damien Eveillard ; Arnaud Courtois ; Alexander Bockmayr	Hybrid concurrent constraint programming : A well-suited formalism for modelling alternative splicing regulation (Abstract)
007537 (2003)	Caroline Brun ; Marc Dymetman ; Éric Fanchon ; Stanislas Lhomme ; Sylvain Pogodalla	Semantically-based text authoring and the concurrent documentation of experimental protocols
007B48 (2003)	Caroline Brun [France] ; Marc Dymetman [France] ; Eric Fanchon [France] ; Stanislas Lhomme [France] ; Sylvain Pogodalla [France]	Semantically-based text authoring and the concurrent documentation of experimental protocols
007E14 (2003)	Damien Eveillard [France] ; Arnaud Courtois [France] ; Alexander Bockmayr [France]	Hybrid concurrent constraint programming: A well-suited formalism for modelling alternative splicing regulation (Abstract)
008325 (2002)	Alexander Bockmayr ; Arnaud Courtois	Using hybrid concurrent constraint programming to model dynamic biological systems
008326 (2002)	Alexander Bockmayr ; Arnaud Courtois	Using hybrid concurrent constraint programming to model dynamic biological systems

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "concurrent" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "concurrent" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    concurrent
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022