Resultados de procura - parallel processing programs held java https

1

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

Publicado 2008

Table of Contents: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Ligazón do recurso

Electrónico eBook

2

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

Publicado 2013

Table of Contents: “... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”
Ligazón do recurso

Electrónico eBook

3

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

Publicado 2005

Table of Contents: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
Ligazón do recurso

Electrónico eBook

4

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

Publicado 2007

Table of Contents: “... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...”
Ligazón do recurso

Electrónico eBook

5

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

Publicado 2008

Table of Contents: “... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”
Ligazón do recurso

Electrónico eBook

6

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

Publicado 2006

Table of Contents: “... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...”
Ligazón do recurso

Electrónico eBook

7

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

Publicado 2014

Table of Contents: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Ligazón do recurso

Electrónico eBook

8

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

Publicado 2012

Table of Contents: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
Ligazón do recurso

Electrónico eBook

9

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

Publicado 2013

Table of Contents: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
Ligazón do recurso

Electrónico eBook

10

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

Publicado 2014

Table of Contents: “... -- The PAPAGENO Parallel-Parser Generator -- String Analysis for Dynamic Field Access -- Addressing JavaScript JIT...”
Ligazón do recurso

Electrónico eBook

11

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

Publicado 2014

Table of Contents: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Ligazón do recurso

Electrónico eBook

12

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

Publicado 2008

Table of Contents: “...: CompJava -- III: Distributed and Parallel Systems -- Towards a Quality Model for Grid Portals...”
Ligazón do recurso

Electrónico eBook

13

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

Publicado 2006

Table of Contents: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Ligazón do recurso

Electrónico eBook

14

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

Publicado 2007

Table of Contents: “... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...”
Ligazón do recurso

Electrónico eBook

15

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Publicado 2015

Table of Contents: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
Ligazón do recurso

Electrónico eBook

16

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

Publicado 2013

Table of Contents: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
Ligazón do recurso

Electrónico eBook

17

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

Publicado 2013

Table of Contents: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Ligazón do recurso

Electrónico eBook

18

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

Publicado 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Ligazón do recurso

Electrónico eBook

19

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

Publicado 2008

Table of Contents: “... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”
Ligazón do recurso

Electrónico eBook

20

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

Publicado 2006

Table of Contents: “... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados