The concurrency control problem for database systems :: SCD d'Orléans

The concurrency control problem for database systems

The concurrency control problem for database systems

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Casanova, Marco Antonio
Formáid:	Livre numérique
Teanga:	Anglais
Foilsithe / Cruthaithe:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Sraith:	Lecture notes in computer science 116
Ábhair:	Informatique Parallélisme (informatique)
Rochtain ar líne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nóta:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• The concurrency control problem for database systems, Marco Antonio Casanova, Berlin, Springer-Verlag, 1981, 1 vol. (VII-175 p.), Lecture notes in computer science, 3-540-10845-9 • The Concurrency Control Problem for Database Systems, Texte imprimé, 9783662210604

Míreanna comhchosúla

Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9 11, 1984

Current trends in concurrency : overviews and tutorials

Logics for concurrency : structure versus automata
de réir: Moller, Faron, 1962-...., informaticien

Concurrency : theory, language, and architecture : UK/Japan Workshop, Oxford, UK, September 25 27, 1989 : proceedings

CONCURRENCY 88 : International conference on concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings

Concurrency and hardware design : advances in Petri nets
de réir: Cortadella, Jordi, 1962-

Algorithms, concurrency, and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
de réir: Zwiers, Job, 19..-

Parallel database systems : PRISMA workshop, Noordwijk, The Netherlands, September 24 26, 1990 : proceedings

CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings

CONCUR 2002 - concurrency theory : 13th International Conference Brno, Czech Republic, August 20 23, 2002 : proceedings

Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2 5, 1996 : proceedings

A Decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands June 1 4, 1993 : proceedings

CONCUR 2001 - concurrency theory : 12th international conference Aalborg, Denmark, August 20 25, 2001 : proceedings

CONCUR 2004 - concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings
de réir: Gardner, Philippa

CONCUR 2000 - concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
de réir: Lauer, Peter E., 1934-

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 June 3, 1988

Parallelization in inference systems : international workshop, Dagstuhl Castle, Germany, December 17 18, 1990 : proceedings
de réir: Fronhöfer, Bertram

Parallel algorithms for irregularly structured problems : third international workshop, IRREGULAR Ì 96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings

Solving problems on concurrent processors. Software for concurrent processors
de réir: Angus, Ian G., et al.
Foilsithe / Cruthaithe: (1990)

The Analysis of concurrent systems : Cambridge, September 12 16, 1983 : proceedings

Solving combinatorial optimization problems in parallel : methods and techniques
de réir: Ferreira, Afonso, 1960-

Using OpenMP : portable shared memory parallel programming
de réir: Chapman, Barbara, 1954-, et al.
Foilsithe / Cruthaithe: (2008)

Parallel problem solving from nature - PPSN III : International Conference on Evolutionary Computation, the Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 14, 1994 : proceedings

CONCUR '94 : concurrency theory : 5th International Conference Uppsala, Sweden, August 22 25, 1994 : proceedings

Ordinateurs et calcul parallèles
Foilsithe / Cruthaithe: (1997)

Parallel computing : theory & applications.
Foilsithe / Cruthaithe: (1999)

CONCUR '90 : theories of concurrency : unification and extension : Amsterdam, The Netherlands, August 27 30, 1990 : proceedings

Algorithmes parallèles : analyse et conception
Foilsithe / Cruthaithe: (1994)

CONCUR '93 : 4th International conference on concurrency theory, Hildesheim, Germany, August 23 26, 1993 : proceedings

CONCUR '91 : 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26 29, 1991 : proceedings

CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21 24, 1995 : proceedings

CONCUR '92 : Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24 27, 1992 : proceedings

Optimization of SQL queries for parallel machines
de réir: Hasan, Waqar

Using MPI : portable parallel programming with the message-passing interface
de réir: Gropp, William D., et al.
Foilsithe / Cruthaithe: (1999)

Un modèle de coût symbolique pour les programmes parallèles asynchrones à dépendances structurées
de réir: Rebeuf, Xavier, 1972-
Foilsithe / Cruthaithe: (2000)

Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
de réir: Tesson, Julien, 1982-
Foilsithe / Cruthaithe: (2011)

CONPAR 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, June 10 12, 1981 : proceedings

Calcul parallèle avec R
de réir: Miele, Vincent, 19..-, et al.
Foilsithe / Cruthaithe: (2016)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales