Hakutulokset - parallel ltl program functionals function https

Tarkoititko:
functionals function » function function , functions functional , function dysfunction
program functionals » programs functional , program functionality , problem functionals
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 /

Julkaistu 2005

Sisällysluettelo: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2013

Sisällysluettelo: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2015

Sisällysluettelo: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2013

Sisällysluettelo: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... -- Computing Upward Planar Drawings Using Switch-Regularity Heuristics -- Serial and Parallel Multilevel Graph...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2005

Sisällysluettelo: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua