Søgeresultater - parallel java programming search function https

Søg alternativer:
programming search » programming research , programming pearls , programming early
java programming » c programming
search function » research function , search auction , starch functional
function https » functions https , fiction https
parallel java » parallel data , parallel scara , parallel a

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

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

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

Udgivet 2013

Indholdsfortegnelse: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Få fuldtekst

Electronisk eBog

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

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

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

Udgivet 2014

Indholdsfortegnelse: “... -- Representing, Archiving, and Searching the Space of Mathematical Knowledge -- Early Examples of Software...”
Få fuldtekst

Electronisk eBog

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Udgivet 2010

Indholdsfortegnelse: “... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...”
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

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

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