Søgeresultater - parallel java program solving functions https

Søg alternativer:
solving functions » solving function , evolving functions , scoring functions
program solving » programs solving , program moving , program serving
functions https » foundations https
parallel java » parallel data , parallel scara , parallel a
java program » java programs , a program , java programming

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

Udgivet 2010

Indholdsfortegnelse: “... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...”
Få fuldtekst

Electronisk eBog

Distributed, Embedded and Real-time Java Systems

Udgivet 2012

Indholdsfortegnelse: “...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
Få fuldtekst

Electronisk eBog

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

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

Udgivet 2014

Indholdsfortegnelse: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Få fuldtekst

Electronisk eBog

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

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

Udgivet 2005

Indholdsfortegnelse: “... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Få fuldtekst

Electronisk eBog

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