Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
functionality function » functionals function, functionaries function, functional functions
parallelized program » parallelized programs, parameterized program, parallel program
domain functionality » domain functional, formation functionality, protein functionality
program domain » program dan, problem domain, program dawn
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
parallelized program » parallelized programs, parameterized program, parallel program
domain functionality » domain functional, formation functionality, protein functionality
program domain » program dan, problem domain, program dawn
function https » functions https, fiction https
1
Publicado 2011
Materias:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Enlace del recurso
Electrónico
eBook
2
Publicado 2010
Tabla de Contenidos:
“...Keynote Speech -- Building a Domain-Knowledge Guided System Software Environment to Achieve High...”Enlace del recurso
Electrónico
eBook
3
Publicado 2007
Tabla de Contenidos:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Enlace del recurso
Electrónico
eBook
4
Publicado 2006
Tabla de Contenidos:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”Enlace del recurso
Electrónico
eBook
5
Publicado 2010
Tabla de Contenidos:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Enlace del recurso
Electrónico
eBook
6
Publicado 2010
Tabla de Contenidos:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Enlace del recurso
Electrónico
eBook
7
Publicado 2008
Tabla de Contenidos:
“... of Narrowing Using Dependency Pairs -- Dynamic Analysis of Bounds Versus Domain Propagation -- Lparse Programs...”Enlace del recurso
Electrónico
eBook
8
Publicado 2006
Tabla de Contenidos:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Enlace del recurso
Electrónico
eBook
9
Publicado 2013
Tabla de Contenidos:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Enlace del recurso
Electrónico
eBook
10
Publicado 2010
Tabla de Contenidos:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Enlace del recurso
Electrónico
eBook
11
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Tabla de Contenidos:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Enlace del recurso
Electrónico
eBook
12
Publicado 2013
Tabla de Contenidos:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Enlace del recurso
Electrónico
eBook
13
Publicado 2010
Tabla de Contenidos:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Enlace del recurso
Electrónico
eBook
14
Tabla de Contenidos:
“... -- Configurations: Contexts and States -- A Crucial Domain and Computing Facet -- Time, Space and Space/Time...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
15
Publicado 2010
Tabla de Contenidos:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Enlace del recurso
Electrónico
eBook
16
Publicado 2006
Tabla de Contenidos:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Enlace del recurso
Electrónico
eBook
17
Publicado 2015
Tabla de Contenidos:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Enlace del recurso
Electrónico
eBook
18
Publicado 2006
Tabla de Contenidos:
“... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”Enlace del recurso
Electrónico
eBook
19
Publicado 2010
Tabla de Contenidos:
“... International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009...”Enlace del recurso
Electrónico
eBook
20
Publicado 2006
Tabla de Contenidos:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”Enlace del recurso
Electrónico
eBook
- 1
- 2
- 3
- 4
- Siguiente »
- [4]