Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
generation computing » generation computer, generation computers, education computing
programs generation » program generation, programs generating, diagrams generation
computing program » comparing programs, computing progress, computer program
program array » program aram, program ray, program alam
https » http
generation computing » generation computer, generation computers, education computing
programs generation » program generation, programs generating, diagrams generation
computing program » comparing programs, computing progress, computer program
program array » program aram, program ray, program alam
https » http
1
Publicat 2013
Taula de continguts:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Obtenir text complet
Electrònic
eBook
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Obtenir text complet
Electrònic
eBook
3
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicat 2010
Taula de continguts:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Obtenir text complet
Electrònic
eBook
4
Taula de continguts:
“...Introduction -- PHP Fundamentals -- The PHP Language: Types of Statement -- More About Arrays...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
5
Matèries:
“...Programming languages (Electronic computers)....”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”Obtenir text complet
Electrònic
eBook
7
Publicat 2015
Taula de continguts:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Obtenir text complet
Electrònic
eBook
8
Publicat 2006
Taula de continguts:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“... Generation of Unsatisfiability Proofs and Cores in SAT -- Justification-Based Local Search with Adaptive...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“...On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti...”Obtenir text complet
Electrònic
eBook
11
Publicat 2013
Taula de continguts:
“... of OmpSs Task Dependencies -- Beyond Do Loops: Data Transfer Generation with Convex Array Regions...”Obtenir text complet
Electrònic
eBook
12
Publicat 2006
Taula de continguts:
“... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...”Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... of Software Costs for the Square Kilometre Array -- SKA and EVLA Computing Costs for Wide Field Imaging...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... for Rapid Generation of Runtime Configurations -- Session 7: Applications 3 -- Reconfigurable Computing...”Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Obtenir text complet
Electrònic
eBook
19
Publicat 2005
Taula de continguts:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Obtenir text complet
Electrònic
eBook
20
Taula de continguts:
“... -- Combining Decision Procedures -- Arrays -- Invariant Generation -- Further Reading....”
Obtenir text complet
Obtenir text complet
Electrònic
eBook