Search Results - parallelism observing program function function https

Search alternatives:
parallelism observing » parallelism solving , parallelism intervening , parallelism boosting
observing program » observing programs , observing programmes , observer program
function function » function functional , functions functional , function dysfunction
program function » programme function , programs functional , program foundation
function https » functions https , fiction https

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
View full text

Electronic eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

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: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
View full text

Electronic eBook

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Published 2010

Table of Contents: “...) -- On the Specification of Non-functional Properties of Systems by Observation -- Modeling Heterogeneous Points of View...”
View full text

Electronic eBook

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
View full text

Electronic eBook

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Published 2010

Table of Contents: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
View full text

Electronic eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
View full text

Electronic eBook

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Published 2006

Table of Contents: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
View full text

Electronic eBook

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...”
View full text

Electronic eBook

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Published 2005

Table of Contents: “... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”
View full text

Electronic eBook

High Performance Computing in Science and Engineering, Garching 2004 Transaction of the KONWIHR Result Workshop, October 14-15, 2004, Technical University of Munich, Garching, Germ...

Published 2005

Table of Contents: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
View full text

Electronic eBook

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Published 2005

Table of Contents: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
View full text

Electronic eBook

Sourcebook of Models for Biomedical Research

Published 2008

Table of Contents: “... Approach to Animal Models of Sepsis -- Animal Models in Functional Magnetic Resonance Imaging -- Animal...”
View full text

Electronic eBook

Advanced Takagi‒Sugeno Fuzzy Systems Delay and Saturation /

by Benzaouia, Abdellah., Benzaouia, Abdellah., El Hajjaji, Ahmed.
Published 2014

Subjects: “...Control and Systems Theory. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text

Electronic eBook

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Published 2012

Table of Contents: “... Complexity Proto-Value Function Learning from Sensory Observations with Incremental Slow Feature Analysis...”
View full text

Electronic eBook

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... Parallel Robot -- Non-smooth Observer for Mechanical Systems Based on Sandwich Model with Backlash...”
View full text

Electronic eBook

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Published 2015

Table of Contents: “... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...”
View full text

Electronic eBook

Artificial Intelligence: Methodology, Systems, and Applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012, Proceedings /

Published 2012

Table of Contents: “... Measure for Rule-Based Functional Description of Genes -- Automatic Generation and Learning of Finite...”
View full text

Electronic eBook

Narrow Search