Søgeresultater - parallel java programming integral function https

1

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

Udgivet 2006

Indholdsfortegnelse: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2010

Indholdsfortegnelse: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2005

Indholdsfortegnelse: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Få fuldtekst

Electronisk eBog

4

The Definitive Guide to Jython Python for the Java Platform /

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

Indholdsfortegnelse: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Få fuldtekst

Electronisk eBog

5

Distributed, Embedded and Real-time Java Systems

Udgivet 2012

Indholdsfortegnelse: “... -- RT-OSGi: Integrating the OSGi Framework with the Real-time Specifications for Java -- JavaES, a...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2005

Indholdsfortegnelse: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2005

Indholdsfortegnelse: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Få fuldtekst

Electronisk eBog

8

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

Udgivet 2013

Indholdsfortegnelse: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2008

Indholdsfortegnelse: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2013

Indholdsfortegnelse: “... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

12

Advanced Techniques in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2014

Indholdsfortegnelse: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2006

Indholdsfortegnelse: “... -- An Integrated Software Development Environment for Web Applications -- Parallel and Distributed Computing...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2005

Indholdsfortegnelse: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2007

Indholdsfortegnelse: “...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...”
Få fuldtekst

Electronisk eBog

17

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

Udgivet 2005

Indholdsfortegnelse: “... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...”
Få fuldtekst

Electronisk eBog

18

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

Udgivet 2006

Indholdsfortegnelse: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
Få fuldtekst

Electronisk eBog

19

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 /

Udgivet 2007

Indholdsfortegnelse: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
Få fuldtekst

Electronisk eBog

20

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Udgivet 2008

Indholdsfortegnelse: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning