Canlyniadau Chwilio - parallel predicative programming functionals function https

Chwilio eraill:
programming functionals » programming functional , programming function , programming fundamentals
predicative programming » preventative programming , reactive programming , creative programming
parallel predicative » parallel reactive , parallel iterative , parallel production
functionals function » function function , functions functional , function dysfunction
function https » functions https , fiction https

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Cael y testun llawn

Electronig eLyfr

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Cael y testun llawn

Electronig eLyfr

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Cael y testun llawn

Electronig eLyfr

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
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

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Cael y testun llawn

Electronig eLyfr

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Cael y testun llawn

Electronig eLyfr

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Cael y testun llawn

Electronig eLyfr

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Cael y testun llawn

Electronig eLyfr

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... into Trees and Outerplanar Graphs -- Approximating Linear Threshold Predicates -- Approximating Sparsest Cut...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Cael y testun llawn

Electronig eLyfr

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Cael y testun llawn

Electronig eLyfr

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...”
Cael y testun llawn

Electronig eLyfr

Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Mining Bilingual Lexical Equivalences Out of Parallel Corpora -- Feed-Forward Neural Networks Using...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad