Search Results - processing java problem generating java https

1

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

Published 2006

Table of Contents: “... and Transformations in Calculation Form -- Mappings Make Data Processing Go ’Round -- On the Use of Graph...”
View full text

Electronic eBook

2

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: “... -- Transactional Mutex Locks -- Exceptions for Algorithmic Skeletons -- Generators-of-Generators Library...”
View full text

Electronic eBook

3

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

4

Linking, Literature, Information, and Knowledge for Biologie Workshop of the BioLINK Special Interest Group, ISBM/ECCB 2009, Stockholm, June 28-29, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Microarray Data for Novel Hypotheses Generation -- Learning from Positive and Unlabeled Documents...”
View full text

Electronic eBook

5

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

Published 2005

Table of Contents: “... Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution -- Abstraction and Reduction...”
View full text

Electronic eBook

6

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: “... by Graph Decomposition -- A Reachability Predicate for Analyzing Low-Level Software -- Generating...”
View full text

Electronic eBook

7

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, Ja...

Published 2015

Table of Contents: “... -- Progress (and Lack Thereof) for Graph Coloring Approximation Problems -- Recent Results in Scalable Multi...”
View full text

Electronic eBook

8

Applications of Evolutionary Computing 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Dimensional Problems -- Evolving Gaits for Physical Robots with the HyperNEAT Generative Encoding...”
View full text

Electronic eBook

9

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

Published 2010

Table of Contents: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
View full text

Electronic eBook

10

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

Published 2005

Table of Contents: “... to Network Processor for Parallel Query Processing in Cluster of Workstations -- A High-Speed VLSI Array...”
View full text

Electronic eBook

11

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

Published 2006

Table of Contents: “... Processing -- Network Probabilistic Connectivity: Expectation of a Number of Disconnected Pairs of Nodes...”
View full text

Electronic eBook

12

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

Published 2005

Table of Contents: “... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”
View full text

Electronic eBook

13

Workflows for e-Science Scientific Workflows for Grids /

Published 2007

Table of Contents: “... and User Perspective -- Generating Complex Astronomy Workflows -- A Case Study on the Use of Workflow...”
View full text

Electronic eBook

14

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...”
View full text

Electronic eBook

15

Enterprise Interoperability III New Challenges and Industrial Approaches /

Published 2008

Table of Contents: “... for Interoperability Problem Solving -- IS Outsourcing Decisions: Can Value Modelling Be of Help? -- Process...”
View full text

Electronic eBook

16

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Published 2008

Table of Contents: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
View full text

Electronic eBook

17

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
View full text

Electronic eBook

18

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /

Published 2012

Table of Contents: “... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”
View full text

Electronic eBook

19

Processor Design System-On-Chip Computing for ASICs and FPGAs /

Published 2007

Table of Contents: “...Embedded Computer Architecture Fundamentals -- Beyond the Valley of the Lost Processors: Problems...”
View full text

Electronic eBook

20

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

Narrow Search