Kết quả tìm kiếm - parallelized programs post functionals function https

1

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

Được phát hành 2011

Những chủ đề: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
lấy văn bản

Điện tử eBook

2

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

Được phát hành 2012

Những chủ đề: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
lấy văn bản

Điện tử eBook

3

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

Được phát hành 2012

Mục lục: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
lấy văn bản

Điện tử eBook

4

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

Được phát hành 2008

Mục lục: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
lấy văn bản

Điện tử eBook

5

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

Được phát hành 2013

Mục lục: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
lấy văn bản

Điện tử eBook

6

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

Được phát hành 2007

Mục lục: “...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”
lấy văn bản

Điện tử eBook

7

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

Được phát hành 2013

Mục lục: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
lấy văn bản

Điện tử eBook

8

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

Được phát hành 2015

Mục lục: “... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”
lấy văn bản

Điện tử 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...

Được phát hành 2008

Mục lục: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
lấy văn bản

Điện tử eBook

10

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

Được phát hành 2013

Mục lục: “... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”
lấy văn bản

Điện tử eBook

11

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

Được phát hành 2012

Mục lục: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
lấy văn bản

Điện tử eBook

12

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

Được phát hành 2010

Mục lục: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
lấy văn bản

Điện tử eBook

13

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

Được phát hành 2014

Mục lục: “... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”
lấy văn bản

Điện tử eBook

14

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

Được phát hành 2008

Mục lục: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
lấy văn bản

Điện tử eBook

15

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

Được phát hành 2014

Những chủ đề: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
lấy văn bản

Điện tử eBook

16

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

Được phát hành 2008

Mục lục: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
lấy văn bản

Điện tử eBook

17

Recent Advances in Phototrophic Prokaryotes

Được phát hành 2010

Mục lục: “... -- Phycobiliprotein Biosynthesis in Cyanobacteria: Structure and Function of Enzymes Involved in Post-translational...”
lấy văn bản

Điện tử eBook

18

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

Được phát hành 2008

Mục lục: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
lấy văn bản

Điện tử eBook

19

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

Được phát hành 2007

Mục lục: “...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...”
lấy văn bản

Điện tử eBook

20

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

Được phát hành 2007

Mục lục: “... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp