Rezultaty - generation communication programs program java https

1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Wydane 2010

Spis treści: “... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

ECOOP - Object-Oriented Programming 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines -- Generational Real-Time...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Wydane 2013

Spis treści: “... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /

Wydane 2005

Spis treści: “... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Wydane 2006

Spis treści: “...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Generative and Transformational Techniques in Software Engineering II International Summer School...

Wydane 2008

Spis treści: “... to Write Fast Numerical Code: A Small Introduction -- A Gentle Introduction to Multi-stage Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kebbutz Sehfayim, Israel, July 4-6, 2006, Proceedings /

Wydane 2006

Spis treści: “... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Wydane 2006

Spis treści: “... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings /

Wydane 2010

Spis treści: “...: An Embedded Domain Specific Language Generator -- Domain-Specific Program Checking -- Revisiting Parametric...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Wydane 2010

Spis treści: “... Communication Protocols -- Tool Papers -- An Open-Source Tool for Automated Generation of Black-Box xUnit Test...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Wydane 2006

Spis treści: “... Papers -- Defining “Predictable Assembly” -- A Tool to Generate an Adapter for the Integration of Web...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 2...

Wydane 2010

Spis treści: “... Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17,...

Wydane 2010

Spis treści: “... in Packet-Switched Communication Networks -- SyLaGen – An Extendable Tool Environment for Generating Load...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /

Wydane 2008

Spis treści: “... to Automatically Generate Multiple Semantically Equivalent Program Versions -- Increasing Confidence in Concurrent...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Wydane 2008

Spis treści: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Wydane 2010

Spis treści: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

Wydane 2008

Spis treści: “... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Wydane 2006

Spis treści: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty