Suchergebnisse - parallel processing programmed held java https

1

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

Veröffentlicht 2008

Inhaltsangabe: “...Smart Content Delivery on the Internet -- Parallel Query Processing in Databases on Multicore...”
Volltext

Elektronisch E-Book

2

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

Veröffentlicht 2013

Inhaltsangabe: “... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2005

Inhaltsangabe: “... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”
Volltext

Elektronisch E-Book

4

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

Veröffentlicht 2007

Inhaltsangabe: “... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2008

Inhaltsangabe: “... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”
Volltext

Elektronisch E-Book

6

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

Veröffentlicht 2006

Inhaltsangabe: “... Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2014

Inhaltsangabe: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Volltext

Elektronisch E-Book

8

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

Veröffentlicht 2012

Inhaltsangabe: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
Volltext

Elektronisch E-Book

9

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

Veröffentlicht 2013

Inhaltsangabe: “...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”
Volltext

Elektronisch E-Book

10

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

Veröffentlicht 2014

Inhaltsangabe: “... -- The PAPAGENO Parallel-Parser Generator -- String Analysis for Dynamic Field Access -- Addressing JavaScript JIT...”
Volltext

Elektronisch E-Book

11

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

Veröffentlicht 2014

Inhaltsangabe: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Volltext

Elektronisch E-Book

12

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

Veröffentlicht 2008

Inhaltsangabe: “...: CompJava -- III: Distributed and Parallel Systems -- Towards a Quality Model for Grid Portals...”
Volltext

Elektronisch E-Book

13

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

Veröffentlicht 2006

Inhaltsangabe: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Volltext

Elektronisch E-Book

14

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

Veröffentlicht 2007

Inhaltsangabe: “... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...”
Volltext

Elektronisch E-Book

15

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

Veröffentlicht 2015

Inhaltsangabe: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
Volltext

Elektronisch E-Book

16

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

Veröffentlicht 2013

Inhaltsangabe: “... as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using...”
Volltext

Elektronisch E-Book

17

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

Veröffentlicht 2013

Inhaltsangabe: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Volltext

Elektronisch E-Book

18

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

Veröffentlicht 2014

Inhaltsangabe: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volltext

Elektronisch E-Book

19

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

Veröffentlicht 2006

Inhaltsangabe: “... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...”
Volltext

Elektronisch E-Book

20

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

Veröffentlicht 2008

Inhaltsangabe: “... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”
Volltext

Elektronisch E-Book

Suche einschränken