Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Concurrent")

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

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

A compile-time granularity analysis algorithm and its performance evaluationTICK, E; ZHONG, X.New generation computing. 1993, Vol 11, Num 3-4, pp 271-295, issn 0288-3635Conference Paper

The performance of current B-tree algorithms = La performance des algorithmes courants des B-arbresJOHNSON, T; SHASHA, D.ACM transactions on database systems. 1993, Vol 18, Num 1, pp 51-101, issn 0362-5915Article

Hierarchical reachability graph of bounded petri nets for concurrent-software analysisNOTOMI, M; MURATA, T.IEEE transactions on software engineering. 1994, Vol 20, Num 5, pp 325-336, issn 0098-5589Article

Defining concurrent processes constructivelyTAKAYAMA, Y.Theoretical computer science. 1994, Vol 122, Num 1-2, pp 137-164, issn 0304-3975Conference Paper

Systèmes de processus légers: concepts et exemples = Thread processus: concepts and examplesDEMEURE, I; FARHAT, J.TSI. Technique et science informatiques. 1994, Vol 13, Num 6, pp 765-795, issn 0752-4072Article

Atomic semantics of nonatomic programsANDERSON, J. H; GOUDA, M. G.Information processing letters. 1988, Vol 28, Num 2, pp 99-103, issn 0020-0190Article

Objets à contrôle réactif : Un modèle de conception pour applications concurrentes = Reactive controlled objects : A design model for concurrent applicationsAUGERAUD, M; BERTRAND, F.TSI. Technique et science informatiques. 1999, Vol 18, Num 8, pp 871-899, issn 0752-4072Article

Studies on two concurrent solvers for finite element analysisRAMA MOHAN RAO, A; LOGANATHAN, K; RAMAN, N. V et al.Advances in engineering software (1992). 1993, Vol 18, Num 3, pp 161-166, issn 0965-9978Article

A theorem on atomicity in distributed algorithmsLAMPORT, L.Distributed computing. 1990, Vol 4, Num 2, pp 59-68, issn 0178-2770, 10 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

New NP-complete problems in performance evaluation of concurrent systems using Petri netsMAGOTT, J.IEEE transactions on software engineering. 1987, Vol 13, Num 5, pp 578-581, issn 0098-5589Article

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

Performance evaluation of multithreading in concurrent programsJEONG, Chanki; SHAHSAVARI, Mohammad M.IEEE SoutheastCon conference. 2002, pp 7-9, isbn 0-7803-7252-2, 3 p.Conference Paper

Streamlining progress-based derivations of concurrent programsDONGOL, Brijesh; MOOIJ, Arjan J.Formal aspects of computing. 2008, Vol 20, Num 2, pp 141-160, issn 0934-5043, 20 p.Article

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

The development of a parallel N-body code for the Edinburgh concurrent supercomputerSWEATMAN, W. L.Journal of computational physics (Print). 1994, Vol 111, Num 1, pp 110-119, issn 0021-9991Article

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

L'activité du Conseil de la concurrenceGRANDO, S.Marchés Publics. 1992, Num 268, pp 34-35Article

Description of a tool for specifying and prototyping concurrent programsDE FRANCESCO, N; VAGLINI, G.IEEE transactions on software engineering. 1988, Vol 14, Num 11, pp 1554-1564, issn 0098-5589Article

The rely-guarantee method for verifying shared variable concurrent programsXU, Q; DE ROEVER, W.-P; HE, J et al.Formal aspects of computing. 1997, Vol 9, Num 2, pp 149-174, issn 0934-5043Article

A pragmatic approach to compilation of ErlangJOHANSSON, E; JONSSON, C; LINDGREN, T et al.Lecture notes in computer science. 1997, pp 419-420, issn 0302-9743, isbn 3-540-63398-7Conference Paper

La consultation du Conseil de la concurrence sur les textes législatifs et réglementaires anti-concurrentielsCHEROT, Y.Recueil Dalloz Sirey de doctrine de jurisprudence et de législation. 1995, Num 31, issn 0034-1835, p. 233 chroniqueArticle

  • Page / 742