Search alternatives:
programs function » programs functional, programme function, programs fiction
array programs » array problems, day programs, pay programs
based https » based http
1
Publicado 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...
Ligazón do recurso
Electrónico eBook
3
Publicado 2007
Table of Contents: ... Elimination – Making Index Vectors Affordable -- FunctionalBased Synthesis of a Systolic Array for GCD...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Ligazón do recurso
Electrónico eBook
7
Publicado 2013
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
Ligazón do recurso
Electrónico eBook
8
Table of Contents: ... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...
Ligazón do recurso
Electrónico eBook
9
Table of Contents: ... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...
Ligazón do recurso
Electrónico eBook
10
Publicado 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
Ligazón do recurso
Electrónico eBook
11
Publicado 2006
Table of Contents: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Ligazón do recurso
Electrónico eBook
13
Publicado 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Ligazón do recurso
Electrónico eBook
14
Publicado 2013
Table of Contents: ... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...
Ligazón do recurso
Electrónico eBook
15
Publicado 2015
Table of Contents: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Ligazón do recurso
Electrónico eBook
16
Publicado 2012
Table of Contents: ....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Ligazón do recurso
Electrónico eBook
18
Publicado 2010
Table of Contents: ... -- Runtime Analysis of Evolutionary Programming Based on Cauchy Mutation -- Best Hiding Capacity Scheme...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Ligazón do recurso
Electrónico eBook
20
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Ligazón do recurso
Electrónico eBook