Search Results - program java https composition problem https*

1

Genetic Programming Theory and Practice VIII

Published 2011

Table of Contents: “...-Evolution of Problem-Solving Genetic Programming Systems -- The Rubik Cube and GP Temporal Sequence Learning...”
View full text

Electronic eBook

2

Distributed Programming Theory and Practice /

by Shankar, A. Udaya., Shankar, A. Udaya.
Published 2013

Table of Contents: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
View full text

Electronic eBook

4

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Published 2010

Table of Contents: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
View full text

Electronic eBook

5

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

Published 2010

Table of Contents: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
View full text

Electronic eBook

6

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

Published 2006

Table of Contents: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
View full text

Electronic eBook

7

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

Published 2010

Table of Contents: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
View full text

Electronic eBook

8

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2005

Table of Contents: “... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”
View full text

Electronic eBook

9

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2007

Table of Contents: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
View full text

Electronic eBook

10

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
View full text

Electronic eBook

11

Pro React

by de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Published 2015

Table of Contents: “...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
View full text

Electronic eBook

12

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Published 2005

Table of Contents: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
View full text

Electronic eBook

13

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Published 2010

Table of Contents: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
View full text

Electronic eBook

14

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
View full text

Electronic eBook

15

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”
View full text

Electronic eBook

16

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

Published 2006

Table of Contents: “... Composition Problem and a Solution Based on C++ Template Metaprogramming....”
View full text

Electronic eBook

17

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Published 2006

Table of Contents: “... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”
View full text

Electronic eBook

18

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”
View full text

Electronic eBook

19

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers /

Published 2010

Table of Contents: “... Is the Solution, Then What Is the Problem? -- Regular Papers -- Language Evolution in Practice: The History of GMF...”
View full text

Electronic eBook

20

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
View full text

Electronic eBook

Narrow Search