Resultados de búsqueda - parallel iterative program function functional https

Buscar alternativas:
function functional » functions functional , fractional functional , nutrition functional
parallel iterative » parallel operating
iterative program » interactive program , imperative program , interactive programs
program function » programme function , programs functional , program foundation
functional https » functions https , function https , functional hop

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Publicado 2013

Tabla de Contenidos: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Enlace del recurso

Electrónico eBook

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Publicado 2010

Tabla de Contenidos: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Enlace del recurso

Electrónico eBook

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Publicado 2010

Tabla de Contenidos: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Enlace del recurso

Electrónico eBook

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Enlace del recurso

Electrónico eBook

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Publicado 2006

Tabla de Contenidos: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Enlace del recurso

Electrónico eBook

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Publicado 2015

Tabla de Contenidos: “... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”
Enlace del recurso

Electrónico eBook

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Enlace del recurso

Electrónico eBook

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Publicado 2008

Tabla de Contenidos: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Enlace del recurso

Electrónico eBook

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Enlace del recurso

Electrónico eBook

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Enlace del recurso

Electrónico eBook

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Enlace del recurso

Electrónico eBook

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Publicado 2010

Tabla de Contenidos: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Enlace del recurso

Electrónico eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Publicado 2005

Tabla de Contenidos: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Enlace del recurso

Electrónico eBook

Advanced Techniques in Computing Sciences and Software Engineering

Publicado 2010

Tabla de Contenidos: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Enlace del recurso

Electrónico eBook

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Publicado 2008

Tabla de Contenidos: “... for Detecting the Global Convergence in Asynchronous Iterative Algorithms -- A Parallel Implementation...”
Enlace del recurso

Electrónico eBook

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Publicado 2007

Tabla de Contenidos: “... Discontinuous Viscosities -- The Impact of Parallel Programming Models on the Performance of Iterative Linear...”
Enlace del recurso

Electrónico eBook

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Publicado 2010

Tabla de Contenidos: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Enlace del recurso

Electrónico eBook

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Publicado 2014

Tabla de Contenidos: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Enlace del recurso

Electrónico eBook

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Publicado 2005

Tabla de Contenidos: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Enlace del recurso

Electrónico eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Publicado 2014

Tabla de Contenidos: “... and Visualization of Iterated Function Systems in LATEX -- GNU TEXMACS Towards a Scientific Office Suite -- Computer...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados