Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
problems implementation » problem implementation, process implementation, programs implementation
interactive computing » interactive computer
computing programming » computer programming, computers programming
implementation https » instrumentation https, implementation _
problems implementation » problem implementation, process implementation, programs implementation
interactive computing » interactive computer
computing programming » computer programming, computers programming
implementation https » instrumentation https, implementation _
1
Published 2005
Table of Contents:
“... Processing on Conventional MIMD Computers -- Parallel Implementation of Back-Propagation Neural Network...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- On the Equivalence-Checking Problem for a Model of Programs Related With Multi-tape Automata -- Poster Papers...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Probability Problems with Computer-Generated Diagrams -- Establishing a Cognitive Map of Public Place...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... -- to Multiobjective Optimization: Interactive Approaches -- to Evolutionary Multiobjective Optimization -- Recent...”View full text
Electronic
eBook
6
by Toselli, Alejandro Héctor., Toselli, Alejandro Héctor., Vidal, Enrique., Casacuberta, Francisco.
Published 2011
Table of Contents:
“...General Framework -- Computer Assisted Transcription: General Framework -- Computer Assisted...”Published 2011
View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Implementation and Evaluation of the Mechanisms for Low Latency Communication on DIMMnet-2 -- Computationally...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...-temporal Reflectance Sharing for Relightable 3D Video -- Interactive Hierarchical Level of Detail Level...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Situated Service Oriented Messaging for Opportunistic Networks -- Simulation and Implementation...”View full text
Electronic
eBook