Resultados de búsqueda - parallelized programs post functionality function https

1

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Publicado 2011

Materias: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Enlace del recurso

Electrónico eBook

2

Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /

Publicado 2012

Materias: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Enlace del recurso

Electrónico eBook

3

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Publicado 2012

Tabla de Contenidos: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Enlace del recurso

Electrónico eBook

4

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Publicado 2008

Tabla de Contenidos: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Enlace del recurso

Electrónico eBook

5

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
Enlace del recurso

Electrónico eBook

6

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
Enlace del recurso

Electrónico eBook

7

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Enlace del recurso

Electrónico eBook

8

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

9

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

10

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /

Publicado 2013

Tabla de Contenidos: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
Enlace del recurso

Electrónico eBook

11

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Publicado 2012

Tabla de Contenidos: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Enlace del recurso

Electrónico eBook

12

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Publicado 2010

Tabla de Contenidos: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Enlace del recurso

Electrónico eBook

13

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers /

Publicado 2014

Tabla de Contenidos: “... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”
Enlace del recurso

Electrónico eBook

14

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Publicado 2008

Tabla de Contenidos: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
Enlace del recurso

Electrónico eBook

15

Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers /

Publicado 2014

Materias: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Enlace del recurso

Electrónico eBook

16

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: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Enlace del recurso

Electrónico eBook

17

Recent Advances in Phototrophic Prokaryotes

Publicado 2010

Tabla de Contenidos: “... -- Phycobiliprotein Biosynthesis in Cyanobacteria: Structure and Function of Enzymes Involved in Post-translational...”
Enlace del recurso

Electrónico eBook

18

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Publicado 2008

Tabla de Contenidos: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
Enlace del recurso

Electrónico eBook

19

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
Enlace del recurso

Electrónico eBook

20

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados