Вы здесь

Главная

параллелизм

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

Trends in Functional Programming: Revised Selected Papers/15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 2014
True Concurrency Semantics for a Linear Logic Programming Language with Broadcast Communication
True Concurrency: Theory and Practice
True Concurrency via Abstract Interpretation
TS/Scheme: Distributed Data Structures in Lisp
Turing Award Lecture: Elements of Interaction
Two-Phase Locking Performance and Its Thrashing Behavior
Type-based information flow analysis for the pi-calculus
Typechecking of PEI Expressions
Type-Directed Concurrency
Types for Dyadic Interaction
Types, or: Where s the Difference between CCS and pi?
Type Theory and Concurrency
UML and Concurrency
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML
Unified Protocols of Concurrency Control and Recovery in Distributed Object-based Databases
Unifying Concurrency Control and Recovery of Transitions
Unimodularity Considered Non-Essential (Extended Abstract)
Using and Improving OpenMP for Devices, Tasks, and More: Proc./10th International Workshop on OpenMP, IWOMP 2014, Salvadr, Brazil, September 2014
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems
Using Colored Petri Nets for Conversation Modeling
Using Explicit State to Describe Architectures
Using Knowledge-Based Techniques for Parallelization on Parallelizing Compilers
Using Loop-Level Parallelism to Parallelize Vectorizable Programs
Using Optimistic Execution Techniques as a Parallelisation Tool for General Purpose Computing
Using Parallelism and Pipeline for the Optimization of Join Queries
Using Profile Information to Assist Advanced Compiler Optimization and Scheduling
Using Static Analysis to Derive Imperative Code from ALPHA
Using Various Parallelisms for High-Speed RSA Cryptosystem
Utilisation des intervalles d estampilles pour le controle de la concurrence des acces a une base de donnees repartie
Value-Cognizant Speculative Concurrency Control for Real-Time Databases
Verification, Model Checking, and Abstract Interpretation: Proc./13th International Conference, VMCAI 2012, Philadelphia,PA,USA, January 2012
Verification, Model Checking, and Abstract Interpretation: Proc./15th International Conference, VMCAI 2014, San Diego,CA,USA, January 2014
Verification, Model Checking, and Abstract Interpretation: Proc./16th International Conference, VMCAI 2015, Mumbai, India, January, 2915
Verifying Temporal Properties of Systems
Very-High-Level Language Paris
Viewpoint-Based Testing of Concurrent Components
Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages
VisAll: A Universal Tool to Visualise the Parallel Execution of Logic Programs
Visualization of And/Or-Parallel Execution of Logic Programs
Wait-free computing: an introductory lecture
WALCOM: Algorithms and Communication: Proc./7th International Workshop, WALCOM 2013, Kharagpur, India, February 2013
Weak Bisimulation Approximants
Weak Refinement in Z
When all the Observers of a Distributed Computation do Agree
Why Multi-SLD Beats SLD (Even on a Uniprocessor)
Why Not Use a Pattern-Based Parallel Programming System?
WorkCrews: An Abstraction for Controlling Parallelism
XHIVE: Interactive Parallel Application Development using the PCF Metodology
Yeast: A case study for a practical use of formal methods