Search Results - parallel function space functionality adding https

Search alternatives:
functionality adding » functionality using , functionality amino , functionality setting
space functionality » scale functionality , oracle functionality , paste functionality
parallel function » parallel functional , parallel auction , parallel union
function space » function spaces , functions spaces , function state
adding https » aging https , auditing https , banking https

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
View full text

Electronic eBook

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings /

Published 2007

Table of Contents: “... in the Arigatoni Overlay Network -- An Effective Multi-hop Broadcast in Vehicular Ad-Hoc Network -- Functional...”
View full text

Electronic eBook

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...

Published 2008

Table of Contents: “... Technique for Transforming Non-uniform Iteration Spaces -- Folding Active List for High Performance and Low...”
View full text

Electronic eBook

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Published 2005

Table of Contents: “... and Multicasting in Static Wireless Ad Hoc Networks -- An Algorithm for Nonconvex Lower Semicontinuous Optimization...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Fragment of Separation Logic -- Approximate Range Searching Using Binary Space Partitions -- Representable...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...”
View full text

Electronic eBook

Artificial Neural Networks - ICANN 2010 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part III /

Published 2010

Table of Contents: “... Networks -- Local Minima of a Quadratic Binary Functional with a Quasi-Hebbian Connection Matrix -- A...”
View full text

Electronic eBook

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN 2005, Madonna di Campaglio, Italy, November 30 - December 2, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Parallel Presentations for Heterogenous User Groups – An Initial User Study -- Performing Physical Object...”
View full text

Electronic eBook

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

Published 2008

Table of Contents: “... and Solving Approaches -- Employing “Particle Swarm Optimization” and “Fuzzy Ranking Functions” for Direct...”
View full text

Electronic eBook

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 /

Published 2007

Table of Contents: “... Space -- Distributed k-NN Query Processing for Location Services -- Ontology Based Context Alignment...”
View full text

Electronic eBook

Stigmergic Optimization

Published 2006

Table of Contents: “... Simulation System -- Gliders and Riders: A Particle Swarm Selects for Coherent Space-Time Structures...”
View full text

Electronic eBook

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Published 2005

Table of Contents: “... Approximation Algorithms for Metric Max TSP -- Unbalanced Graph Cuts -- Low Degree Connectivity in Ad-Hoc...”
View full text

Electronic eBook

Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2

Published 2015

Table of Contents: “... Image Feature Tag Adding Functions -- The Impact of the Malfunction of a Sector in Supply Chain...”
View full text

Electronic eBook

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Published 2014

Table of Contents: “... of Energy Aware Routing Protocols and Mechanisms for Mobile Ad hoc Networks -- Lexical Ontology Based...”
View full text

Electronic eBook

Swarm Intelligence 7th International Conference, ANTS 2010, Brussels, Belgium,September 8-10, 2010 Proceedings /

Published 2010

Table of Contents: “... Algorithm -- Functional Blueprints: An Approach to Modularity in Grown Systems -- Heterogeneous Particle...”
View full text

Electronic eBook

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Published 2008

Table of Contents: “... -- Internet Ad Auctions: Insights and Directions -- Track A: Algorithms, Automata, Complexity, and Games...”
View full text

Electronic eBook

Emerging Research in Electronics, Computer Science and Technology Proceedings of International Conference, ICERECT 2012 /

Published 2014

Table of Contents: “... Space Link Protocol Using VHDL -- Semantic Analysis of Precise Detection Rate in Multi-Object Mobility...”
View full text

Electronic eBook

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II /

Published 2012

Table of Contents: “... for Detection of Macula in Fundus Images -- The Brain’s Sequential Parallelism: Perceptual Decision-Making...”
View full text

Electronic eBook

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...”
View full text

Electronic eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Published 2007

Table of Contents: “... Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks -- Compressed Prefix Sums...”
View full text

Electronic eBook

Narrow Search