Arama Sonuçları - parallel java programming constraints function https

Şunu mu demek istediniz:
programming constraints » programming constraint , programming constrained , programming constructs
constraints function » constraints functions , constraints functional , constrained function
java programming » c programming
function https » functions https , fiction https
parallel java » parallel data , parallel scara , parallel a

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Tam Metin Erişim

Elektronik Ekitap

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Tam Metin Erişim

Elektronik Ekitap

Advanced Techniques in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Tam Metin Erişim

Elektronik Ekitap

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Baskı/Yayın Bilgisi 2008

İçindekiler: “.... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Tam Metin Erişim

Elektronik Ekitap

Nature Inspired Cooperative Strategies for Optimization (NICSO 2007)

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt