Search Results - parallel java programs functional integration https

1

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

Published 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
View full text

Electronic eBook

2

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

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

3

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

Published 2005

Table of Contents: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
View full text

Electronic eBook

4

The Definitive Guide to Jython Python for the Java Platform /

by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010

Table of Contents: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
View full text

Electronic eBook

5

Distributed, Embedded and Real-time Java Systems

Published 2012

Table of Contents: “... -- RT-OSGi: Integrating the OSGi Framework with the Real-time Specifications for Java -- JavaES, a...”
View full text

Electronic eBook

6

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
View full text

Electronic eBook

7

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text

Electronic eBook

8

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Published 2013

Table of Contents: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
View full text

Electronic eBook

9

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

Published 2013

Table of Contents: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
View full text

Electronic eBook

10

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

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

11

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Published 2008

Table of Contents: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
View full text

Electronic eBook

12

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

13

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
View full text

Electronic eBook

14

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

Published 2006

Table of Contents: “... -- An Integrated Software Development Environment for Web Applications -- Parallel and Distributed Computing...”
View full text

Electronic eBook

15

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

Published 2005

Table of Contents: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
View full text

Electronic eBook

16

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
View full text

Electronic eBook

17

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Published 2007

Table of Contents: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
View full text

Electronic eBook

18

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...”
View full text

Electronic eBook

19

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...”
View full text

Electronic eBook

20

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Published 2008

Table of Contents: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
View full text

Electronic eBook

Narrow Search