Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
functionality function » functionals function, functionaries function, functional functions
programs functionality » program functionality, programs functional, properties functionality
parallel verifying » parallel rewriting, farnel verifying, parallel querying
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
programs functionality » program functionality, programs functional, properties functionality
parallel verifying » parallel rewriting, farnel verifying, parallel querying
function https » functions https, fiction https
1
Pubblicazione 2013
Sommario:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testo
Elettronico
eBook
3
Pubblicazione 2008
Sommario:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”Testo
Elettronico
eBook
4
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Pubblicazione 2015
Sommario:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”Testo
Elettronico
eBook
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Pubblicazione 2014
Sommario:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Testo
Elettronico
eBook
6
Pubblicazione 2014
Sommario:
“...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”Testo
Elettronico
eBook
7
Pubblicazione 2005
Sommario:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testo
Elettronico
eBook
8
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Pubblicazione 2013
Sommario:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Testo
Elettronico
eBook
9
Pubblicazione 2007
Sommario:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Testo
Elettronico
eBook
10
Pubblicazione 2005
Sommario:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Testo
Elettronico
eBook
11
Pubblicazione 2008
Sommario:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Testo
Elettronico
eBook
12
Pubblicazione 2015
Sommario:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Testo
Elettronico
eBook
13
Pubblicazione 2007
Sommario:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Testo
Elettronico
eBook
14
Pubblicazione 2006
Sommario:
“... Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) -- Automata and Logics...”Testo
Elettronico
eBook
15
Pubblicazione 2014
Sommario:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testo
Elettronico
eBook
16
Pubblicazione 2015
Sommario:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Testo
Elettronico
eBook
17
Pubblicazione 2015
Sommario:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Testo
Elettronico
eBook
18
Pubblicazione 2014
Sommario:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”Testo
Elettronico
eBook
19
Pubblicazione 2014
Sommario:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Testo
Elettronico
eBook
20
Pubblicazione 2005
Sommario:
“... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”Testo
Elettronico
eBook
- 1
- 2
- Successivo »
- [2]