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