Вы здесь

Главная

параллелизм

Связанные издания:

Comparison between a Message Passing and a Global Shared Memory Parallel Computer by Means of a Concrete Monte-Carlo Algorithm
Compensation-Based On-Line Query Processing
Compilation of a Highly Parallel Actor-Based Language
Compiler, c est reconstruire le temps
Compiler Construction: Proc./10th Intern. Conf., CC 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2001
Compiler Construction: Proc./14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Compiler Construction: Proc./20th International Conference, CC 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saarbrucken, Germany, March, 2011
Compiler Construction: Proc./21st International Conference, CC 2012 Held as Part of the European Joint Conferences ETAPS 2012, Tallinn, Estonia, March 2012
Compilers for Instruction-Level Parallelism
Compiling a Producer-Consumer LEQ System in a Network of Communicating Processes
Compiling Array Statements for Efficient Execution on Distributed-Memory Machines: Two-Level Mappings
Compiling Machine-Independent Parallel Programs
Compiling Nested Loops for Limited Connectivity VLIWs
Compiling Programs with User Parallelism
Compilling Nested Data-Parallel Programs for Shared-Memory Multiprocessors
Complexity as a Basis for Comparing Semantic Models of Concurrency
Component Construction Model and Interactive Computation Semantics for Object Systems
Composing Fine-Grained Parallel Algorithms for Spatial Dynamics Simulation
Composing Specifications Using Communication
Compositionality: The Significant Difference: Revised Lectures /International Symposium, COMPOS 97. Bad Malente, Germany, September 1997
Compositional methods in characterization of timed event structures
Compositional Proof Methods for Concurrency: A Semantic Approach
Composition and Decomposition in True-Concurrency
Comprehensive and Robust Garbage Collection in a Distributed System
Computational and Concurrency Models of Linear Logic
Computational Science - ICCS 2005. Part II: Proc./5th International Conference. Atlanta, GA, USA, May 2005
Computational Science - ICCS 2006: Part II: Proc./6th International Conference. Reading, UK, May 2006
Computation properties of spatial dynamics simulation by probabilistic cellular automata
Computer Aided Verification, Part I: Proc./27th International Conference, CAV 2015, San Francisco,CA,USA, July 2015
Computer Aided Verification, Part I: Proc./28th International Conference, CAV 2016, Toronto,ON,Canada, July 2016
Computer Aided Verification: Proc./18th International Conference, CAV 2006. Seattle, WA, USA, August 2006
Computer Aided Verification: Proc./19th International Conference, CAV 2007. Berlin, Germany, July 2007
Computer Aided Verification: Proc./20th International Conference, CAV 2008. Princeton, NJ, USA, July 2008
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Computer and Information Sciences - ISCIS 2006: Proc./21st International Symposium. Istanbul, Turkey, November 2006
Computer Graphics and Parallelism, an Interdisciplinary Fable
Computer Science Logic: Proc./10th Intern. Workshop, CSL 96, Annual Conf. of the EACSL. Utrecht, The Netherlands, September 1996
Computer Science Logic: Proc./13th Intern. Workshop, CSL 99, 8th Annual Conf. of the EACSL. Madrid, Spain, September 1999
Conceptual Level Concurrency Control of Relational Update Transactions
CONCUR 2000 - Concurrency Theory: Proc./11th Intern. Conf., University Park, PA, USA, August 2000
CONCUR 2001 - Concurrency Theory: Proc./12th Intern. Conf., Aalborg, Denmark, August 2001
CONCUR 2002 - Concurrency Theory: Proc./13th Intern. Conf., Brno, Czech Republic, August 2002
CONCUR 2003 - Concurrency Theory: Proc./14th Intern. Conf., Marseille, France, September 2003
CONCUR 2005 - Concurrency Theory: Proc./16th International Conference, CONCUR 2005. San Francisco, CA, USA, August 2005
CONCUR 2006 - Concurrency Theory: Proc./17th International Conference, CONCUR 2006. Bonn, Germany, August 2006
CONCUR 2007 - Concurrency Theory: Proc./18th International Conference. Lisbon, Portugal, September 2007
CONCUR 2008 - Concurrency Theory: Proc./19th International Conference, CONCUR 2008. Toronto, Canada, August 2008
CONCUR 90:Proc./Theories of Concurrency: Unification and Extension. Amsterdam, The Netherlands, August 1990
CONCUR 92: Proc./Third Intern. Conf. on Concurrency Theory. Stony Brook, NY, USA, August 1992