Canlyniadau Chwilio - parallel proving programs functionality function https

Chwilio eraill:
programs functionality » program functionality , programs functional , properties functionality
functionality function » functionals function , functionaries function , functional functions
parallel proving » parallel evolving , parallel routing , parallel parking
proving programs » proving program , promising programs , promoting programs
function https » functions https , fiction https

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Cael y testun llawn

Electronig eLyfr

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Cael y testun llawn

Electronig eLyfr

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Cael y testun llawn

Electronig eLyfr

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”
Cael y testun llawn

Electronig eLyfr

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Cael y testun llawn

Electronig eLyfr

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

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Cael y testun llawn

Electronig eLyfr

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis...”
Cael y testun llawn

Electronig eLyfr

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Cael y testun llawn

Electronig eLyfr

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Cael y testun llawn

Electronig eLyfr

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
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

Distributed Algorithms for Message-Passing Systems

gan Raynal, Michel., Raynal, Michel.
Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
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

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Cael y testun llawn

Electronig eLyfr

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Cael y testun llawn

Electronig eLyfr

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set...”
Cael y testun llawn

Electronig eLyfr

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad