Rezultaty - communication simulation concurrent session

1

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings /

Wydane 2008

Spis treści: “... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Termination in Impure Concurrent Languages -- Buffered Communication Analysis in Distributed Multiparty...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Wydane 2014

Spis treści: “... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Wydane 2008

Spis treści: “... -- On the Benefit of Caching Traffic Flow Data in the Link Buffer -- Energy-Efficient Simultaneous Thread Fetch from...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers /

Wydane 2010

Spis treści: “... Structure of Entanglement -- Entanglement Generation by a Three-Dimensional Qubit Scattering: Concurrence vs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Wydane 2006

Spis treści: “...Regular Sessions: Artificial Immune Systems -- Comparing Energetic and Immunological Selection...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

Wydane 2005

Spis treści: “... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Session 2. Model Checking and Automata -- Simulation Subsumption in Ramsey-Based Büchi Automata...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Wydane 2005

Spis treści: “... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Information Systems Security Second International Conference, ICISS 2006, Kolkata, India, December 19-21, 2006, Proceedings /

Wydane 2006

Spis treści: “... and Forensics -- Data and Application Security -- Fairness Strategy for Multilevel Secure Concurrency Control...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Fal...

Wydane 2007

Spis treści: “... of Transportation and Communication -- Portable Patient Information Integration System for Patient Safety...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Advances in Cryptology -- CRYPTO 2010 30th Annual Cryptology Conference, Santa Barbara, CA, USA, August 15-19, 2010, Proceedings /

Wydane 2010

Spis treści: “.../RSA, CCA -- Credential Authenticated Identification and Key Exchange -- Password-Authenticated Session...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

High Performance Computing - HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007, Proceedings /

Wydane 2007

Spis treści: “... for Mobile Ad Hoc Network -- Session VIII - Communication and Routing -- The Impact of Noise on the Scaling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Wydane 2006

Spis treści: “...-Strength Abstraction-Guided Simulation -- Session 11. Concurrency -- Symbolic Model Checking of Concurrent...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Theory of Cryptography Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008, Proceedings /

Wydane 2008

Spis treści: “... Session 3 -- Which Languages Have 4-Round Zero-Knowledge Proofs? -- How to Achieve Perfect Simulation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Wydane 2008

Spis treści: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected P...

Wydane 2014

Spis treści: “... Session Types.- Behavioural Types Inspired by Cellular Thresholds.- Ensuring Faultless Communication...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

Wydane 2010

Spis treści: “...Invited Speakers -- A False History of True Concurrency: From Petri to Tools -- How Far Can...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of S...

Wydane 2010

Spis treści: “... and Randomization in Two-Player Games -- Retaining the Probabilities in Probabilistic Testing Theory -- Concurrency...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty