Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
specification execution » specification evolution, specification extraction, specifications detection
program specification » programs specifications, program specialization, program verification
execution function » executive function, executive functions, execution nutrition
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
specification execution » specification evolution, specification extraction, specifications detection
program specification » programs specifications, program specialization, program verification
execution function » executive function, executive functions, execution nutrition
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
1
Опубликовано 2007
Оглавление:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2006
Оглавление:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2013
Оглавление:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2008
Оглавление:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“... for Executable Specifications of General Attribute Grammars -- A Domain-Specific Language Approach to Protocol...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2015
Оглавление:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2013
Оглавление:
“... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2013
Оглавление:
“... -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2010
Оглавление:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Полный текст
Электронный ресурс
eКнига
11
Оглавление:
“...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...”
Полный текст
Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2008
Оглавление:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2012
Оглавление:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2006
Оглавление:
“... -- Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems -- Mining Dynamic Document...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2013
Оглавление:
“...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2012
Оглавление:
“... -- A Novel Federation Development and Execution Process Based on Collaboration Ontology -- PASENS...”Полный текст
Электронный ресурс
eКнига
18
Оглавление:
“... NoCs -- Parallelizing Compiler for Single and Multicore Computing -- Power Optimization Techniques...”
Полный текст
Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2014
Оглавление:
“... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...”Полный текст
Электронный ресурс
eКнига