Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
implementation supporting » implementations supporting, representation supporting, representations supporting
supporting functionality » support functionality, mirroring functionality, sampling functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
implementation supporting » implementations supporting, representation supporting, representations supporting
supporting functionality » support functionality, mirroring functionality, sampling functionality
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... to Sensor Acquired Information -- Parallel Broadband Finite Element Time Domain Algorithm Implemented...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... and Improvements -- Implementing MPI-IO Shared File Pointers Without File System Support -- An Efficient Parallel...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Iterative Computations on Volatile Nodes -- Aspect Oriented Pluggable Support for Parallel Computing...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“...A Compiler Framework for Supporting Speculative Multicore Processors -- Power-Efficient...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... -- The Robustness of Resource Allocations in Parallel and Distributed Computing Systems -- Pervasive Computing...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Regression Models in Decision Support System for Urban Transport Planning -- New Parallel Algorithm...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”View full text
Electronic
eBook
17
Table of Contents:
“...Introduction -- Conventional Architecture of Turbo Decoder -- Turbo Decoder with Parallel...”
View full text
View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Abstraction -- Supporting Pruning in Tabled LP -- A Portable and Efficient Implementation of Coinductive Logic...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Simulations -- Sequential and Parallel Implementation of Networks -- Applications -- Parametric Studies...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”View full text
Electronic
eBook