Resultats de la cerca - processing java processing proceedings tutorials https

1

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

Publicat 2008

Taula de continguts: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Obtenir text complet

Electrònic eBook

2

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Publicat 2008

Taula de continguts: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
Obtenir text complet

Electrònic eBook

3

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004...

Publicat 2005

Taula de continguts: “...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”
Obtenir text complet

Electrònic eBook

4

Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings /

Publicat 2015

Taula de continguts: “...Part: Risk Management and Inspection -- Improving the Requirement Engineering Process with Speed...”
Obtenir text complet

Electrònic eBook

5

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings /

Publicat 2014

Taula de continguts: “...Part: Keynote -- Software Quality Assurance by Static Program Analysis -- Part: Software Process...”
Obtenir text complet

Electrònic eBook

6

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Obtenir text complet

Electrònic eBook

7

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Publicat 2010

Taula de continguts: “... Stackless Intermediate Representation for Java Bytecode -- JNI Light: An Operational Model for the Core JNI...”
Obtenir text complet

Electrònic eBook

8

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...”
Obtenir text complet

Electrònic eBook

9

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /

Publicat 2010

Taula de continguts: “...Keynote 2 -- Modeling the Internet -- Transformation-Based Parallelization of Request-Processing...”
Obtenir text complet

Electrònic eBook

10

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Obtenir text complet

Electrònic eBook

11

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...”
Obtenir text complet

Electrònic eBook

12

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
Obtenir text complet

Electrònic eBook

13

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... of Java Bytecode -- Hybrid Optimizations: Which Optimization Algorithm to Use? -- A Fresh Look at PRE as a...”
Obtenir text complet

Electrònic eBook

14

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings...

Publicat 2014

Taula de continguts: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obtenir text complet

Electrònic eBook

15

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 /

Publicat 2005

Taula de continguts: “... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”
Obtenir text complet

Electrònic eBook

16

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...”
Obtenir text complet

Electrònic eBook

17

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 2005, Edinburgh, UK, April 4-8, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... Processes -- Automatic Conformance Testing of Web Services -- Graph Grammars and Graph Transformations...”
Obtenir text complet

Electrònic eBook

18

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 Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings /

Publicat 2005

Taula de continguts: “...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”
Obtenir text complet

Electrònic eBook

19

Advances in Web Based Learning -- ICWL 2006 5th International Conference, Penang, Malaysia, July 19-21, 2006, Revised Papers /

Publicat 2006

Taula de continguts: “... VRML and JAVA to Build Virtual Game-Based Learning Environment for Addition and Subtraction Operation...”
Obtenir text complet

Electrònic eBook

Refinar cerca