Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
systematic programming » systems programming, system programming, automatic programming
programming function » programming functional, programming functionals, programme function
parallel systematic » parallella systematic, paralysis systematic, parallel systems
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
systematic programming » systems programming, system programming, automatic programming
programming function » programming functional, programming functionals, programme function
parallel systematic » parallella systematic, paralysis systematic, parallel systems
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Argitaratua 2006
Aurkibidea:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2013
Aurkibidea:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2008
Aurkibidea:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... in Dynamic Environments -- Shaky Ladders, Hyperplane-Defined Functions and Genetic Algorithms: Systematic...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2011
Aurkibidea:
“... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2015
Aurkibidea:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2006
Aurkibidea:
“... rate: a systematic comparison for microarray data -- A unifying model for biclustering -- Image...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2012
Aurkibidea:
“... -- A Systematic Elaboration of Safety Requirements in the Avionic Domain -- Parallel NuSMV: A NuSMV...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2007
Aurkibidea:
“... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”Testu osoa
Baliabide elektronikoa
eBook
15
Aurkibidea:
“... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2012
Aurkibidea:
“... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2006
Aurkibidea:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”Testu osoa
Baliabide elektronikoa
eBook