Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Concurrency")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 18544

  • Page / 742
Export

Selection :

  • and

Inter-process buffers in separation logic with rely-guaranteeBORNAT, Richard; AMJAD, Hasan.Formal aspects of computing. 2010, Vol 22, Num 6, pp 735-772, issn 0934-5043, 38 p.Article

Dynamic synchrony among atomic actionsROMAN, G.-C; PLUN, J. Y; WILCOX, C. D et al.IEEE transactions on parallel and distributed systems. 1993, Vol 4, Num 6, pp 677-685, issn 1045-9219Article

Erlang for Concurrent ProgrammingLARSON, Jim.Communications of the ACM. 2009, Vol 52, Num 3, pp 48-56, issn 0001-0782, 9 p.Article

CONCUR 2004 : concurrency theory (London, 31 August - 3 September 2004)Gardner, Philippa; Yoshida, Nobuko.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22940-X, XIII, 528 p, isbn 3-540-22940-XConference Proceedings

Real-World ConcurrencyCANTRILL, Bryan; BONWICK, Jeff.Communications of the ACM. 2008, Vol 51, Num 11, pp 34-39, issn 0001-0782, 6 p.Article

Conseil de la concurrence: activité soutenue en 1993BOUCHER, L.Le Moniteur des travaux publics et du bâtiment. 1994, Num 4728, issn 0026-9700, 2 p.Article

CONCUR 2003 : concurrency theory (Marseille, 3-5 September 2003)Amadio, Roberto; Lugiez, Denis.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40753-7, XI, 524 p, isbn 3-540-40753-7Conference Proceedings

De la compétence du Conseil de la ConcurrenceFONTAINE, D.Petites Affiches (Les). 1989, Num 88, pp 6-9Article

Semaphores for fair scheduling monitor conditionsDUNSTAN, N.Operating systems review. 1991, Vol 25, Num 3, pp 27-31, issn 0163-5980, 5 p.Article

An algebraic characterization of a class of Patri netsKORCZYNSKI, W.Kernforschungszentrum Karlsruhe. 1990, Num 4635, issn 0303-4003, 13 p.Serial Issue

Starvation-free secure multiversion concurrency controlKIM, H.-T; MYOUNG HO KIM.Information processing letters. 1998, Vol 65, Num 5, pp 247-253, issn 0020-0190Article

Management of concurrency in interpolation based grid file organization and its performanceARIS OUKSEL, M; VIJAY KUMAR; CHAYANIKA MAJUMKAR et al.Information sciences. 1994, Vol 78, Num 1-2, pp 129-158, issn 0020-0255Article

Two-phase locking performance and its thrashing behaviorTHOMASIAN, A.ACM transactions on database systems. 1993, Vol 18, Num 4, pp 579-625, issn 0362-5915Article

A highly concurrent group mutual l-exclusion algorithmVIDYASANKAR, K.Parallel processing letters. 2006, Vol 16, Num 4, pp 467-483, issn 0129-6264, 17 p.Article

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory SystemsVOLOS, Haris; WELC, Adam; ADL-TABATABAI, Ali-Reza et al.ACM SIGPLAN notices. 2009, Vol 44, Num 4, pp 291-292, issn 1523-2867, 2 p.Conference Paper

A Lazy Concurrent List-Based Set AlgorithmHELLER, Steve; HERLIHY, Maurice; LUCHANGCO, Victor et al.Parallel processing letters. 2007, Vol 17, Num 4, pp 411-424, issn 0129-6264, 14 p.Article

Lock downgrading: An approach to increase inter-transaction parallelism in advanced database applicationsBRAVNER, Angelo.Lecture notes in computer science. 2001, pp 330-339, issn 0302-9743, isbn 3-540-42527-6Conference Paper

A formal characterization of epsilon serializabilityRAMAMRITHAM, K; PU, C.IEEE transactions on knowledge and data engineering. 1995, Vol 7, Num 6, pp 997-1007, issn 1041-4347Article

Self-assessment procedure XXI : a self-assessment procedure on concurrencyRUDOLPH, B. A.Communications of the ACM. 1990, Vol 33, Num 5, pp 563-576, issn 0001-0782, 14 p.Article

Concurrent Zero Knowledge, RevisitedPASS, Rafael; TSENG, Wei-Lung Dustin; VENKITASUBRAMANIAM, Muthuramakrishnan et al.Journal of cryptology. 2014, Vol 27, Num 1, pp 45-66, issn 0933-2790, 22 p.Article

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory SystemsVOLOS, Haris; WELC, Adam; ADL-TABATABAI, Ali-Reza et al.ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming. 2009, pp 291-292, isbn 978-1-60558-397-6, 1Vol, 2 p.Conference Paper

Neuvième rapport d'activité ― Année 1995Journal officiel de la République française. Document administratif. 1996, Num 18, issn 0242-6773, 500 p., , ann. (452 p.)Report

Marchés: l'équilibre entre sous-traitance et droit de la concurrenceCOURIVAUD, H.Le Moniteur des travaux publics et du bâtiment. 1996, Num 4827, pp 48-50, issn 0026-9700Article

Contrôle de la concurrence : l'action des organismes français et communautairesTHUREAU-DANGIN, P.Problèmes économiques (Paris). 1991, Num 2234, pp 16-19, issn 0032-9304Article

Sixième rapport d'activité. Année 1992Journal officiel de la République française. Document administratif. 1993, Num 93, issn 0242-6773, 289 p.Report

  • Page / 742