Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionalities function » functionaries function, functionals function, functionalities citation
based functionalities » basic functionalities, unused functionalities, new functionalities
parallel computer » parallel computers, parallel computing, parallel computation
computer based » computer aided
function https » functions https, fiction https
functionalities function » functionaries function, functionals function, functionalities citation
based functionalities » basic functionalities, unused functionalities, new functionalities
parallel computer » parallel computers, parallel computing, parallel computation
computer based » computer aided
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
2
Published 2003
Table of Contents:
“... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
7
by Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Published 2012
Subjects:
“...Special Purpose and Application-Based Systems. https://scigraph.springernature.com/ontologies...”Published 2012
View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- Computer Aided Reconstruction and Motion Analysis of 3D Mitral Annulus -- Volumetric Analysis of the Heart...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... are Parallel Connections better than Series Connections -- Optimization of Carrier Harvest in Meg Based Hybrid...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Expression Recognition Using Optical Flow and HMM -- An Approach for Anomaly Intrusion Detection Based...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Computer Vision Applications -- Comparison of Fuzzy Edge Detectors Based on the Image Recognition Rate...”View full text
Electronic
eBook