MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Fine-grain Concurrency." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

225 documents found, showing 1 through 10. Next 10 →

ATOM

Fine-grained Concurrent Completion
by Claude Kirchner, Christopher Lynch, Christelle Scharff — 1996 — In Proc. of the 7th RTA
…Fine-grained Concurrent Completion Claude Kirchner Christopher Lynch Christelle Scharff INRIA…
Cited by 4 (1 self) – Add To MetaCart

Modular safety checking for fine-grained concurrency
by Cristiano Calcagno, Matthew Parkinson, Viktor Vafeiadis — 2007 — In SAS. LNCS
…Modular Safety Checking for Fine-Grained Concurrency Cristiano Calcagno 1 , Matthew Parkinson 2…
Cited by 5 (1 self) – Add To MetaCart

Modular fine-grained concurrency verification
by Viktor Vafeiadis
… practical contributions to reasoning about fine-grained concurrency. First, building on rely…
Cited by 2 (1 self) – Add To MetaCart

Angelic semantics of fine-grained concurrency
by Dan R. Ghica, Andrzej S. Murawski — 2004 — In Proceedings of FOSSACS ’04, number 2987 in LNCS
… Angelic Semantics of Fine-Grained Concurrency? Dan R. Ghica and Andrzej S. Murawski Oxford…
Cited by 12 (3 self) – Add To MetaCart

A fine-grained Concurrent Completion Procedure
by Claude Kirchner, Claude Kirchner, Christopher Lynch, Christopher Lynch, Christelle Scharff, Christelle Scharff — 1996 — Proceedings of RTA'96
… AUTOMATIQUE A fine-grained Concurrent Completion Procedure Claude KIRCHNER , Christopher LYNCH , Christelle…
Cited by 2 (1 self) – Add To MetaCart

Angelic Semantics of Fine-Grained Concurrency ⋆
by Dan R. Ghica A, Andrzej S. Murawski B
…Angelic Semantics of Fine-Grained Concurrency ⋆ Dan R. Ghica a and Andrzej S. Murawski b a School…
Add To MetaCart

A fine-grained Concurrent Completion Procedure
by N Xxx, Claude Kirchner, Claude Kirchner, Christopher Lynch, Christopher Lynch, Christelle Scharff, Christelle Scharff — 1996
…INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE A fine-grained Concurrent…
Add To MetaCart

Techniques for Efficient Execution of Fine-Grained Concurrent Programs
by Andrew A. Chien, Wuchun Feng, Vijay Karamcheti, John Plevyak — 1992 — In Proceedings of the Fifth Workshop on Compilers and Languages for Parallel Computing
…Techniques for Efficient Execution of Fine-Grained Concurrent Programs Andrew A. Chien, Wuchun…
Cited by 7 (5 self) – Add To MetaCart

Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread
by Alexander G. Dean — 2002 — Integration”, 6th Annual Workshop on Interaction between Compilers and Computer Architectures (INTERACT-6, in conjunction with HPCA 8
…. Introduction Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration…
Cited by 2 (1 self) – Add To MetaCart

The Concert System -- Compiler and Runtime Support for Efficient, Fine-Grained Concurrent Object
by Andrew A. Chien, Vijay Karamcheti, John Plevyak — 1993
…The Concert System -- Compiler and Runtime Support for Efficient, Fine-Grained Concurrent Object…
Cited by 46 (12 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB