Søgeresultater - parallel program interactive selection function https

Søg alternativer:
interactive selection » interaction selection , iterative selection , interactive television
program interactive » programmed interactive , programs integrative , programs interaction
selection function » selection functions , selection functional , selection fiction
parallel program » parallel programs , parallel problem , parallel programming
function https » functions https , fiction https

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Udgivet 2006

Indholdsfortegnelse: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
Få fuldtekst

Electronisk eBog

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Under Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Udgivet 2014

Indholdsfortegnelse: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Få fuldtekst

Electronisk eBog

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Få fuldtekst

Electronisk eBog

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Udgivet 2005

Indholdsfortegnelse: “...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”
Få fuldtekst

Electronisk eBog

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Få fuldtekst

Electronisk eBog

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Få fuldtekst

Electronisk eBog

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Udgivet 2014

Indholdsfortegnelse: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Få fuldtekst

Electronisk eBog

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Få fuldtekst

Electronisk eBog

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers /

Udgivet 2008

Indholdsfortegnelse: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...”
Få fuldtekst

Electronisk eBog

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”
Få fuldtekst

Electronisk eBog

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Udgivet 2012

Indholdsfortegnelse: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Få fuldtekst

Electronisk eBog

Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers /

Udgivet 2007

Indholdsfortegnelse: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Få fuldtekst

Electronisk eBog

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers /

Udgivet 2008

Indholdsfortegnelse: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Få fuldtekst

Electronisk eBog

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Stack Implementation -- Programming Aids -- First-Order Interactive Programming -- An ER-Based Framework...”
Få fuldtekst

Electronisk eBog

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Få fuldtekst

Electronisk eBog

Learning and Intelligent Optimization 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”
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: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Få fuldtekst

Electronisk eBog

1
2
3
4
Næste »
[4]

Indsnæver søgning