Search Results - parallel java program execution using https

1

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

2

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
View full text

Electronic eBook

3

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

4

Distributed and Parallel Systems In Focus: Desktop Grid Computing /

Published 2008

Table of Contents: “...Desktop Grids -- Enabling Java applications for BOINC with DC-API -- Bridging the Data Management...”
View full text

Electronic eBook

5

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures...

Published 2005

Table of Contents: “... Using Wavelet Packet Parallel Architecture -- A Low–Level Communication Library for Java HPC -- Object...”
View full text

Electronic eBook

6

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES...

Published 2010

Table of Contents: “...Distributed and Parallel Embedded Systems (DIPES 2010) -- Preface -- Opening and Keynote -- Safety...”
View full text

Electronic eBook

7

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: “... Programming and Execution Environment for Parallel and Distributed Many-Core Architectures -- Scalable...”
View full text

Electronic eBook

8

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

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
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: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
View full text

Electronic eBook

10

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI...

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

11

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Published 2005

Table of Contents: “... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”
View full text

Electronic eBook

12

Distributed, Embedded and Real-time Java Systems

Published 2012

Table of Contents: “...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”
View full text

Electronic eBook

13

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”
View full text

Electronic eBook

14

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

Published 2014

Table of Contents: “... and Efficient Run-Time Monitoring of JavaScript Applications Using Virtual Machine Layering -- An Executable...”
View full text

Electronic eBook

15

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

Published 2007

Table of Contents: “... of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic...”
View full text

Electronic eBook

16

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

17

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

Published 2010

Table of Contents: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
View full text

Electronic eBook

18

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: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

19

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

20

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: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
View full text

Electronic eBook

Narrow Search