Søgeresultater - parallel problem semantics function function https

Søg alternativer:
semantics function » semantics functions , semantic function , semantics functional
problem semantics » problem semantic , problems semantic , program semantics
function function » function functional , functions functional , function dysfunction
parallel problem » parallel program , parallel programs , parallel robots
function https » functions https , fiction https

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

Udgivet 2010

Indholdsfortegnelse: “... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”
Få fuldtekst

Electronisk eBog

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
Få fuldtekst

Electronisk eBog

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Udgivet 2010

Indholdsfortegnelse: “... for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems -- A Parallel Solution of Large-Scale Heat...”
Få fuldtekst

Electronisk eBog

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I /

Udgivet 2012

Indholdsfortegnelse: “... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...”
Få fuldtekst

Electronisk eBog

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II /

Udgivet 2012

Indholdsfortegnelse: “... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...”
Få fuldtekst

Electronisk eBog

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Udgivet 2014

Indholdsfortegnelse: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
Få fuldtekst

Electronisk eBog

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...”
Få fuldtekst

Electronisk eBog

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”
Få fuldtekst

Electronisk eBog

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Udgivet 2015

Indholdsfortegnelse: “...Invited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A...”
Få fuldtekst

Electronisk eBog

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”
Få fuldtekst

Electronisk eBog

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Få fuldtekst

Electronisk eBog

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”
Få fuldtekst

Electronisk eBog

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Udgivet 2015

Indholdsfortegnelse: “... Matching Approaches -- IsoLate: A Type System for Self-recursion -- The Problem of PL Concurrency Semantics...”
Få fuldtekst

Electronisk eBog

Artificial Evolution 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers /

Udgivet 2010

Indholdsfortegnelse: “... Algorithms -- Semantic Similarity Based Crossover in GP: The Case for Real-Valued Function Regression...”
Få fuldtekst

Electronisk eBog

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Udgivet 2014

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

Electronisk eBog

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Udgivet 2015

Indholdsfortegnelse: “... -- Symbolic Model-Checking Using ITS-Tools -- Semantic Importance Sampling for Statistical Model Checking...”
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

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Streaming Algorithms for Geometric Problems -- Toward a Grainless Semantics for Shared-Variable Concurrency...”
Få fuldtekst

Electronisk eBog

1
2
3
4
5
Næste »
[5]

Indsnæver søgning