Search Results - parallel processing program held java https

1

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

2

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Published 2013

Table of Contents: “... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”
View full text

Electronic eBook

3

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Published 2005

Table of Contents: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
View full text

Electronic eBook

4

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...”
View full text

Electronic eBook

5

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

Published 2008

Table of Contents: “... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”
View full text

Electronic eBook

6

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...”
View full text

Electronic eBook

7

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

8

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Published 2012

Table of Contents: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
View full text

Electronic eBook

9

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

Published 2013

Table of Contents: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
View full text

Electronic eBook

10

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint...

Published 2014

Table of Contents: “... -- The PAPAGENO Parallel-Parser Generator -- String Analysis for Dynamic Field Access -- Addressing JavaScript JIT...”
View full text

Electronic eBook

11

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Published 2014

Table of Contents: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
View full text

Electronic eBook

12

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /

Published 2008

Table of Contents: “...: CompJava -- III: Distributed and Parallel Systems -- Towards a Quality Model for Grid Portals...”
View full text

Electronic eBook

13

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
View full text

Electronic eBook

14

Object-Oriented Technology.ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /

Published 2007

Table of Contents: “... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...”
View full text

Electronic eBook

15

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: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
View full text

Electronic eBook

16

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
View full text

Electronic eBook

17

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Table of Contents: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
View full text

Electronic eBook

18

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

19

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...”
View full text

Electronic eBook

20

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”
View full text

Electronic eBook

Narrow Search