Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programmed functionality » program functionality, properties functionality, programming functional
functionality security » functionality securing, functional security, functionality usability
computers programmed » computer programme, computer programmes, computers programming
parallel computers » parallel computing
https » http
programmed functionality » program functionality, properties functionality, programming functional
functionality security » functionality securing, functional security, functionality usability
computers programmed » computer programme, computer programmes, computers programming
parallel computers » parallel computing
https » http
1
Argitaratua 2005
Aurkibidea:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2012
Aurkibidea:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2010
Aurkibidea:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... -- Zero-Knowledge and Secure Computations -- An Unbounded Simulation-Sound Non-interactive Zero-Knowledge...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“... Computation -- Rule+Exception Learning-Based Class Specification and Labeling in Intelligence and Security...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2008
Aurkibidea:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2014
Aurkibidea:
“... Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2006
Aurkibidea:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2005
Aurkibidea:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testu osoa
Baliabide elektronikoa
eBook
14
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Argitaratua 2014
Aurkibidea:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Testu osoa
Baliabide elektronikoa
eBook
15
nork Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Argitaratua 2011
Gaiak:
“...Computer programming....”Argitaratua 2011
Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Testu osoa
Baliabide elektronikoa
eBook
17
Aurkibidea:
“... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”Testu osoa
Baliabide elektronikoa
eBook