Search Results - program java process execution java https

1

Multimedia Introduction to Programming Using Java

by Gries, David., Gries, David., Gries, Paul.
Published 2005

Table of Contents: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text

Electronic eBook

2

Pro JavaScript for Web Apps

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

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

Electronic eBook

3

Beginning Java Game Development with LibGDX

by STEMKOSKI, LEE., STEMKOSKI, LEE.
Published 2015

Table of Contents: “...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
View full text

Electronic eBook

4

SCJP Exam for J2SE 5 A Concise and Comprehensive Study Guide for The Sun Certified Java Programmer Exam /

by Sanghera, Paul., Sanghera, Paul.
Published 2006

Table of Contents: “... -- Execution Flow Control in Java -- Advanced Java Programming -- Exceptions and Assertions -- Input and Output...”
View full text

Electronic eBook

5

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

6

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

7

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

8

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

Published 2010

Table of Contents: “... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”
View full text

Electronic eBook

9

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Published 2010

Table of Contents: “...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”
View full text

Electronic eBook

10

Introduction to Reliable Distributed Programming

by Guerraoui, Rachid., Guerraoui, Rachid., Rodrigues, Luís.
Published 2006

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

Electronic eBook

11

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Published 2014

Table of Contents: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
View full text

Electronic eBook

12

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent...

Published 2005

Table of Contents: “... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”
View full text

Electronic eBook

13

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Published 2010

Table of Contents: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
View full text

Electronic eBook

14

Enterprise Systems Integration A Process-Oriented Approach /

by Ferreira, Diogo R., Ferreira, Diogo R.
Published 2013

Table of Contents: “... -- Orchestrations with BPEL -- Part V Processes -- Process modeling with BPMN -- Inter-Organizational Processes....”
View full text

Electronic eBook

15

A Beginner's Guide to Scala, Object Orientation and Functional Programming

by Hunt, John., Hunt, John.
Published 2014

Table of Contents: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text

Electronic eBook

16

A Rigorous Semantics for BPMN 2.0 Process Diagrams

by Kossak, Felix., Kossak, Felix., Illibauer, Christa., Geist, Verena., Kubovy, Jan., Natschläger, Christine., Ziebermayr, Thomas., Kopetzky, Theodorich., Freudenthaler, Bernhard., Schewe, Klaus-Dieter.
Published 2014

Table of Contents: “... Rigorous Semantics for BPMN 2.0 Process Diagrams -- 5 How the Semantic Model Can Be Used -- 6 A Discussion...”
View full text

Electronic eBook

17

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings /

Published 2007

Table of Contents: “... Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving...”
View full text

Electronic eBook

18

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: “... Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A...”
View full text

Electronic eBook

19

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

Published 2008

Table of Contents: “... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”
View full text

Electronic eBook

20

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

Narrow Search