Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
programs held » programs help, program held, programmes held
program https » programs https, program has, program help
held program » help program, field program, child program
programs held » programs help, program held, programmes held
program https » programs https, program has, program help
held program » help program, field program, child program
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado em 2010
Sumário:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado em 2008
Sumário:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado em 2014
Sumário:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2013
Sumário:
“... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2006
Sumário:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2015
Sumário:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2008
Sumário:
“... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2015
Sumário:
“... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2014
Sumário:
“...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2007
Sumário:
“... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2008
Sumário:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2014
Sumário:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2015
Sumário:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2010
Sumário:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2008
Sumário:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2007
Sumário:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2014
Sumário:
“...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2014
Sumário:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2013
Sumário:
“... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2005
Sumário:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
- 1
- 2
- 3
- 4
- Seguinte »
- [4]