Kết quả tìm kiếm - parallel programs 23 function function https

1

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

2

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: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
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. Workshops, Part II /

Được phát hành 2010

Mục lục: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
lấy văn bản

Điện tử eBook

4

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Được phát hành 2014

Mục lục: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
lấy văn bản

Điện tử eBook

5

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Được phát hành 2008

Mục lục: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
lấy văn bản

Điện tử eBook

6

Algorithm Theory - SWAT 2010 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings /

Được phát hành 2010

Mục lục: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
lấy văn bản

Điện tử eBook

7

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

Được phát hành 2010

Mục lục: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
lấy văn bản

Điện tử eBook

8

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /

Được phát hành 2005

Mục lục: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
lấy văn bản

Điện tử eBook

9

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

10

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Được phát hành 2010

Mục lục: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
lấy văn bản

Điện tử eBook

11

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: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
lấy văn bản

Điện tử eBook

12

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings /

Được phát hành 2010

Mục lục: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
lấy văn bản

Điện tử eBook

13

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Được phát hành 2015

Mục lục: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
lấy văn bản

Điện tử eBook

14

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

15

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Được phát hành 2007

Mục lục: “... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”
lấy văn bản

Điện tử eBook

16

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Được phát hành 2007

Mục lục: “... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”
lấy văn bản

Điện tử eBook

17

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Được phát hành 2010

Mục lục: “... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...”
lấy văn bản

Điện tử eBook

18

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Được phát hành 2014

Mục lục: “... Parallel Information Extraction Based on Hadoop -- A Novel Class of Periodic Complementary Sequence Sets...”
lấy văn bản

Điện tử eBook

19

Business Information Systems 17th International Conference, BIS 2014, Larnaca, Cyprus, May 22-23, 2014, Proceedings /

Được phát hành 2014

Mục lục: “... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...”
lấy văn bản

Điện tử eBook

20

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27...

Được phát hành 2006

Mục lục: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp