Kết quả tìm kiếm - parallel recursive based functionality function https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
lấy văn bản

Điện tử eBook

2

Super-Recursive Algorithms

Bằng Burgin, Mark., Burgin, Mark.
Được phát hành 2005

Mục lục: “...Recursive Algorithms -- Subrecursive Algorithms -- Superrecursive Algorithms: Problems...”
lấy văn bản

Điện tử eBook

3

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

Được phát hành 2010

Mục lục: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
lấy văn bản

Điện tử eBook

4

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Được phát hành 2008

Mục lục: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
lấy văn bản

Điện tử eBook

5

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Được phát hành 2008

Mục lục: “... for Genetic Regulatory Networks -- Compositional Verification for Component-Based Systems and Application -- A...”
lấy văn bản

Điện tử eBook

6

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”
lấy văn bản

Điện tử eBook

7

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Được phát hành 2015

Mục lục: “... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”
lấy văn bản

Điện tử eBook

8

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: “... -- : An Enhanced Stream-Based Communication Mechanism -- Performance of Coupled Parallel Finite Element Analysis...”
lấy văn bản

Điện tử eBook

9

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... with Low-Level Pointer Operations -- A Simple Semantics for Polymorphic Recursion -- Symbolic Execution...”
lấy văn bản

Điện tử eBook

10

Future Intelligent Information Systems Volume 1 /

Được phát hành 2011

Mục lục: “... based on recursive least squares algorithm -- A fitting approach of the temperature characteristic curve...”
lấy văn bản

Điện tử eBook

11

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Được phát hành 2015

Mục lục: “... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”
lấy văn bản

Điện tử eBook

12

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... Local System for Intuitionistic Logic -- CIC : Type-Based Termination of Recursive Definitions...”
lấy văn bản

Điện tử eBook

13

Security and Cryptography for Networks 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010, Proceedings /

Được phát hành 2010

Mục lục: “...-Based Cryptography -- Recursive Lattice Reduction -- Adaptively Secure Identity-Based Identification...”
lấy văn bản

Điện tử eBook

14

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Được phát hành 2015

Mục lục: “... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”
lấy văn bản

Điện tử eBook

15

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: “... Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document...”
lấy văn bản

Điện tử eBook

16

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /

Được phát hành 2015

Mục lục: “... with Parallel Rewriting for Chain Code Picture Languages -- Base-Complexity Classifications of QCB0-Spaces...”
lấy văn bản

Điện tử eBook

17

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Được phát hành 2008

Mục lục: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
lấy văn bản

Điện tử eBook

18

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: “....-An Improved Sparse Matrix-Vector Multiply Based on Recursive Sparse Blocks Layout.-On the Differences...”
lấy văn bản

Điện tử eBook

19

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Được phát hành 2005

Mục lục: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
lấy văn bản

Điện tử eBook

20

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Được phát hành 2015

Mục lục: “... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp