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