Sökresultat - parallel solving programming functional java https

Menade du:
programming functional » programming vocational , programs functional , programming foundations
solving programming » solving programmed , modeling programming , using programming
parallel solving » parallel evolving , parallel sorting , parallelism solving
functional java » foundational java , functional renal
https » http

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

Publicerad 2010

Innehållsförteckning: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Hämta fulltext

Elektronisk E-bok

Distributed, Embedded and Real-time Java Systems

Publicerad 2012

Innehållsförteckning: “...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”
Hämta fulltext

Elektronisk E-bok

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Publicerad 2014

Innehållsförteckning: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Hämta fulltext

Elektronisk E-bok

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2013

Innehållsförteckning: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2013

Innehållsförteckning: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Hämta fulltext

Elektronisk E-bok

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Hämta fulltext

Elektronisk E-bok

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Publicerad 2008

Innehållsförteckning: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen