Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
parallel compositional » parallel composition, parallel computational, parallel decomposition
compositional program » composition programs, computational program, compositional problems
program functionality » protein functionality, programs functional, supra functionality
functionality setting » functionality testing, functionality securing, functional setting
setting https » being https, writing https, feeding https
parallel compositional » parallel composition, parallel computational, parallel decomposition
compositional program » composition programs, computational program, compositional problems
program functionality » protein functionality, programs functional, supra functionality
functionality setting » functionality testing, functionality securing, functional setting
setting https » being https, writing https, feeding https
1
Argitaratua 2005
Aurkibidea:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Testu osoa
Baliabide elektronikoa
eBook
6
Aurkibidea:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2014
Aurkibidea:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2008
Aurkibidea:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2005
Aurkibidea:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2007
Aurkibidea:
“...A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling -- Vortex...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2005
Aurkibidea:
“... of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2014
Aurkibidea:
“... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2007
Aurkibidea:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“... Evolutionary Systems (IWCES 2010) -- A Bidirectional Heuristic Search Technique for Web Service Composition...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2008
Aurkibidea:
“... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2013
Aurkibidea:
“... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2008
Aurkibidea:
“... -- Outcome-Space Polyblock Approximation Algorithm for Optimizing over Efficient Sets -- A DC Programming...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2005
Aurkibidea:
“... for Performance Evaluation of Parallel and Distributed Systems -- Integrating Distributed Composite Objects...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]