Rekommenderade teman
Rekommenderade teman
Menade du:
computational programming » computation programming, computational program, computing programming
section computational » prediction computational, design computational, effective computational
programming logic » programmable logic
logic array » logic arrays, logic carry
array a » array _
computational programming » computation programming, computational program, computing programming
section computational » prediction computational, design computational, effective computational
programming logic » programmable logic
logic array » logic arrays, logic carry
array a » array _
1
Publicerad 2008
Innehållsförteckning:
“... over Positive Temporal Templates -- A Logic of Singly Indexed Arrays -- Session 10. Modal and Temporal...”Hämta fulltext
Elektronisk
E-bok
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicerad 2014
Innehållsförteckning:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Hämta fulltext
Elektronisk
E-bok
3
Innehållsförteckning:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
4
Innehållsförteckning:
“...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2010
Innehållsförteckning:
“...Invited Program -- Embedded Systems as Datacenters -- Larrabee: A Many-Core Intel Architecture...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2008
Innehållsförteckning:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2013
Innehållsförteckning:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2015
Innehållsförteckning:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2014
Innehållsförteckning:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Hämta fulltext
Elektronisk
E-bok
10
Innehållsförteckning:
“... Structures -- Iteration Structures -- Logic, Shifting, Rotating, and Stacks -- Procedures and Macros...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2013
Innehållsförteckning:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2008
Innehållsförteckning:
“... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2012
Innehållsförteckning:
“... to Relational Logic and Back -- On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers -- ATLTest: A...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2008
Innehållsförteckning:
“... Chains -- Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach -- Annotation...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2014
Innehållsförteckning:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2013
Innehållsförteckning:
“... Home Automation System -- Design of a Smart Battery System for Laptop Computer -- A Novel Fuzzy Neural...”Hämta fulltext
Elektronisk
E-bok