Search Results - engine optimization program execution java https

1

by Freeman, Adam., Freeman, Adam.
Published 2012

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

2

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Published 2008

Table of Contents: “... Symbolic Execution -- Static Detection of Place Locality and Elimination of Runtime Checks -- Certified...”
View full text

Electronic eBook

3

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: “... -- Incremental Slicing -- Assume-Guarantee Software Verification Based on Game Semantics -- Optimized Execution...”
View full text

Electronic eBook

4

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held...

Published 2013

Table of Contents: “... Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching...”
View full text

Electronic eBook

5

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...”
View full text

Electronic eBook

6

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text

Electronic eBook

7

Software Engineering Techniques: Design for Quality

Published 2007

Table of Contents: “... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...”
View full text

Electronic eBook

8

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Published 2014

Table of Contents: “...-Driven Variants -- A Model-Based System to Automate Cloud Resource Allocation and Optimization...”
View full text

Electronic eBook

9

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Published 2008

Table of Contents: “... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”
View full text

Electronic eBook

10

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings /

Published 2013

Table of Contents: “... Engineering -- Stochastic Bounds and Histograms for Network Performance Analysis.- Analytic Performance...”
View full text

Electronic eBook

11

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...”
View full text

Electronic eBook

12

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /

Published 2005

Table of Contents: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
View full text

Electronic eBook

13

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

Published 2010

Table of Contents: “... Java -- Read-Only Execution for Dynamic Languages -- Optimizing Aspect-Oriented Mechanisms for Embedded...”
View full text

Electronic eBook

14

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... -- Supercompilation for Datatypes -- More type Inference in Java 8 -- Polynomial-Time Optimal Pretty-Printing...”
View full text

Electronic eBook

15

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

Published 2010

Table of Contents: “... Algorithms for Finite Automata -- Probabilistic Systems and Optimization -- Assume-Guarantee Verification...”
View full text

Electronic eBook

16

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings /

Published 2008

Table of Contents: “...-Related Applications -- Symbolic Analysis for Increased Program Execution Performance....”
View full text

Electronic eBook

17

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Published 2013

Table of Contents: “...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”
View full text

Electronic eBook

18

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings /

Published 2005

Table of Contents: “... the Execution of Multi-tier Applications -- MINERVA?: A Scalable Efficient Peer-to-Peer Search Engine...”
View full text

Electronic eBook

19

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
View full text

Electronic eBook

20

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Marc...

Published 2008

Table of Contents: “... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”
View full text

Electronic eBook

Narrow Search