Search Results - engineering optimization problem execution java https

1

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Incremental Slicing -- Assume-Guarantee Software Verification Based on Game Semantics -- Optimized Execution...”
View full text

Electronic eBook

2

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
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: “... Family Problems -- Examining the Feasibility of Reconfigurable Models for Molecular Dynamics Simulation...”
View full text

Electronic eBook

4

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2007

Table of Contents: “... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...”
View full text

Electronic eBook

5

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

Published 2010

Table of Contents: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
View full text

Electronic eBook

6

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings /

Published 2008

Table of Contents: “... and Improvements -- Compiler Technology -- Implementing an OpenMP Execution Environment on InfiniBand Clusters...”
View full text

Electronic eBook

7

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

8

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... for Estimating the Execution Time of a Parallel Task on a Grid Node -- Performance of a Parallel Astrophysical N...”
View full text

Electronic eBook

9

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “...-Optimized Suffix-Tree Storage for Biological Applications -- Cost-Optimal Job Allocation Schemes...”
View full text

Electronic eBook

10

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

Published 2006

Table of Contents: “...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”
View full text

Electronic eBook

11

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007, Proceedings /

Published 2007

Table of Contents: “... Repository System -- Optimal Deployment of Mobile Sensor Networks and Its Maintenance Strategy -- Server...”
View full text

Electronic eBook

12

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2010

Table of Contents: “... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”
View full text

Electronic eBook

13

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March...

Published 2006

Table of Contents: “... of Java Bytecode -- Hybrid Optimizations: Which Optimization Algorithm to Use? -- A Fresh Look at PRE as a...”
View full text

Electronic eBook

14

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland /

Published 2013

Table of Contents: “... Composition, Execution and Resource Allocation -- Multicore and Accelerator Development for a Leadership-Class...”
View full text

Electronic eBook

15

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Published 2006

Table of Contents: “... and Application Execution in a Grid: A Migration Experience from GT2 to GT4 -- A Comparative Analysis Between EGEE...”
View full text

Electronic eBook

16

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Published 2007

Table of Contents: “...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”
View full text

Electronic eBook

17

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...”
View full text

Electronic eBook

18

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Engineering Environments -- MPJ Express Meets Gadget: Towards a Java Code for Cosmological Simulations...”
View full text

Electronic eBook

19

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”
View full text

Electronic eBook

20

Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings /

Published 2014

Table of Contents: “... -- The Effects of Variation on Solving a Combinatorial Optimization Problem in Collaborative Multi-Agent Systems...”
View full text

Electronic eBook

Narrow Search