Search Results - processing java programs evaluation tutorial https

Search alternatives:
programs evaluation » program evaluation , programs education , projects evaluation
evaluation tutorial » evolution tutorial , evaluation arterial , evaluation historical
processing java » processing japan , processing james , processing j
tutorial https » tutorial atas , tutorial attacks
java programs » java programming

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

Published 2008

Table of Contents: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x...”
View full text

Electronic eBook

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 /

Published 2006

Table of Contents: “... Creation of Processes in MPI-2 -- Object-Oriented Message Passing -- Non-blocking Java Communications...”
View full text

Electronic eBook

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: “... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... -- Verifying Very Large Industrial Circuits Using 100 Processes and Beyond -- A New Reachability Algorithm...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... -- Session 3: Implementation and Evaluations of E-Learning Systems -- : A Reusable Assessment Engine -- Using...”
View full text

Electronic eBook

Narrow Search