Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parallelization software » parallelized software, prioritization software, parallelization faster
software function » software functional, software section, software mutation
function function » function functional, functions functional, function dysfunction
function section » function detection, function relation, function solution
section https » sedation https, fiction https, infection https
parallelization software » parallelized software, prioritization software, parallelization faster
software function » software functional, software section, software mutation
function function » function functional, functions functional, function dysfunction
function section » function detection, function relation, function solution
section https » sedation https, fiction https, infection https
1
Published 2008
Table of Contents:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”View full text
Electronic
eBook
6
Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop...
Published 2007
Table of Contents:
“...-Definition Movies -- Design and Experimental Validation of UAV Control System Software Based on the TMO...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“...Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Explicitly Typed Exceptions for Haskell -- Conversion by Evaluation -- Parallelism and Distribution...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Linearizability of Intel® Software Guard Extensions -- Synthesis Synthesis Through Unification -- From Non...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“...-core Processors -- Assessing Software Interference Management When Modifying Safety-Related Software...”View full text
Electronic
eBook