Sökresultat - parallel java programming application study https

1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2013

Innehållsförteckning: “... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2006

Innehållsförteckning: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2005

Innehållsförteckning: “... Applications -- Optimizing the Java Piped I/O Stream Library for Performance -- A Comparative Study of Stampede...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2010

Innehållsförteckning: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2005

Innehållsförteckning: “... for Heterogeneous Computing System -- Execution Environments and Benchmarks for the Study of Applications...”
Hämta fulltext

Elektronisk E-bok

7

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Publicerad 2010

Innehållsförteckning: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Hämta fulltext

Elektronisk E-bok

8

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II /

Publicerad 2010

Innehållsförteckning: “...Topic 9: Parallel and Distributed Programming -- Parallel and Distributed Programming...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2006

Innehållsförteckning: “...-Enabled MPI -- Using an Enterprise Grid for Execution of MPI Parallel Applications – A Case Study...”
Hämta fulltext

Elektronisk E-bok

10

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Publicerad 2014

Innehållsförteckning: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2006

Innehållsförteckning: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
Hämta fulltext

Elektronisk E-bok

12

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers /

Publicerad 2006

Innehållsförteckning: “... of Component Integration for Web Applications -- Software Process Models, Management and Improvement -- A Study...”
Hämta fulltext

Elektronisk E-bok

13

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Publicerad 2010

Innehållsförteckning: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2012

Innehållsförteckning: “... to Design, Simulate and Deploy Robotic Applications -- A Java vs. C++ Performance Evaluation: A 3D Modeling...”
Hämta fulltext

Elektronisk E-bok

15

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Publicerad 2013

Innehållsförteckning: “... Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying...”
Hämta fulltext

Elektronisk E-bok

16

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

Publicerad 2010

Innehållsförteckning: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
Hämta fulltext

Elektronisk E-bok

17

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “... in Instruction-Level Parallelism -- Phase-Based Miss Rate Prediction Across Program Inputs -- Speculative Subword...”
Hämta fulltext

Elektronisk E-bok

18

Reliable Software Technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2006

Innehållsförteckning: “... Applications -- A Parallel Plug-In Programming Paradigm -- Hybrid MPI-Thread Implementation on a Cluster of SMP...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2006

Innehållsförteckning: “... Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen