Suchergebnisse - parallel collaborative programming functionality function https

Andere Suchmöglichkeiten:
programming functionality » programming functional , programming functionals , program functionality
collaborative programming » collaborative programme , collaborative programmes , comparative programming
parallel collaborative » verhallen collaborative , parallel cooperative , personal collaborative
functionality function » functionals function , functionaries function , functional functions
function https » functions https , fiction https

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Veröffentlicht 2013

Inhaltsangabe: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Volltext

Elektronisch E-Book

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Veröffentlicht 2006

Inhaltsangabe: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Volltext

Elektronisch E-Book

Innovations in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2008

Inhaltsangabe: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Volltext

Elektronisch E-Book

Advanced Techniques in Computing Sciences and Software Engineering

Veröffentlicht 2010

Inhaltsangabe: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Volltext

Elektronisch E-Book

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Veröffentlicht 2007

Inhaltsangabe: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Volltext

Elektronisch E-Book

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Veröffentlicht 2007

Inhaltsangabe: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... and Collaboration Inducement in Mobile Ad hoc Networks -- Uncoupling of Mobile Cloud Computing Services...”
Volltext

Elektronisch E-Book

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 /

Veröffentlicht 2014

Inhaltsangabe: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Volltext

Elektronisch E-Book

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Volltext

Elektronisch E-Book

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Veröffentlicht 2005

Inhaltsangabe: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Volltext

Elektronisch E-Book

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Volltext

Elektronisch E-Book

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Veröffentlicht 2012

Inhaltsangabe: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Volltext

Elektronisch E-Book

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Ontologies for Collaborative Information Management: Some Challenges and Ideas -- The Construction of Domain...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Parallel Presentations for Heterogenous User Groups – An Initial User Study -- Performing Physical Object...”
Volltext

Elektronisch E-Book

Suche einschränken