Resultats de la cerca - parallel ltl program function function https

Alternatives de cerca:
function function » function functional , functions functional , function dysfunction
program function » programme function , programs functional , program foundation
function https » functions https , fiction https
parallel ltl » parallel lda , parallel les , parallel llp
ltl program » htl programs , hol program , level program

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Obtenir text complet

Electrònic eBook

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

Publicat 2013

Taula de continguts: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Obtenir text complet

Electrònic eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicat 2015

Taula de continguts: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Obtenir text complet

Electrònic eBook

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

Publicat 2013

Taula de continguts: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Obtenir text complet

Electrònic eBook

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

Publicat 2008

Taula de continguts: “... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...”
Obtenir text complet

Electrònic eBook

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Publicat 2014

Taula de continguts: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Obtenir text complet

Electrònic eBook

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Publicat 2005

Taula de continguts: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Obtenir text complet

Electrònic eBook

Refinar cerca