Canlyniadau Chwilio - parallel collaborative programming functionals function https

Chwilio eraill:
collaborative programming » collaborative programme , collaborative programmes , comparative programming
programming functionals » programming functional , programming function , programming fundamentals
parallel collaborative » verhallen collaborative , parallel cooperative , personal collaborative
functionals function » function function , functions functional , function dysfunction
function https » functions https , fiction https

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...”
Cael y testun llawn

Electronig eLyfr

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Cael y testun llawn

Electronig eLyfr

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Cael y testun llawn

Electronig eLyfr

Advanced Techniques in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Supporting Molecular Modeling Workflows within a Grid Services Cloud -- Distributed and Collaborative...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Collaboration Inducement in Mobile Ad hoc Networks -- Uncoupling of Mobile Cloud Computing Services...”
Cael y testun llawn

Electronig eLyfr

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 /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Ontologies for Collaborative Information Management: Some Challenges and Ideas -- The Construction of Domain...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Parallel Presentations for Heterogenous User Groups – An Initial User Study -- Performing Physical Object...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad