检索结果 - parallel 21 program functionality function https

搜索替代词:
functionality function » functionals function , functionaries function , functional functions
program functionality » protein functionality , programs functional , supra functionality
function https » functions https , fiction https
parallel 21 » parallel 2d , parallel 2 , parallel _
21 program » 2 program , 1 program , 11 program

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

出版 2010

书本目录: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
获取全文

电子电子书

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

出版 2012

主题: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
获取全文

电子电子书

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

出版 2006

书本目录: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
获取全文

电子电子书

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

出版 2010

书本目录: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
获取全文

电子电子书

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

出版 2005

书本目录: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
获取全文

电子电子书

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

出版 2010

书本目录: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
获取全文

电子电子书

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

出版 2005

书本目录: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
获取全文

电子电子书

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

出版 2005

书本目录: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
获取全文

电子电子书

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

出版 2006

书本目录: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
获取全文

电子电子书

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

出版 2013

书本目录: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
获取全文

电子电子书

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

出版 2010

书本目录: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
获取全文

电子电子书

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

出版 2015

书本目录: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
获取全文

电子电子书

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

出版 2010

书本目录: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
获取全文

电子电子书

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

出版 2015

书本目录: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
获取全文

电子电子书

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

出版 2007

书本目录: “... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”
获取全文

电子电子书

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

出版 2007

书本目录: “... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”
获取全文

电子电子书

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

出版 2014

书本目录: “... Parallel Information Extraction Based on Hadoop -- A Novel Class of Periodic Complementary Sequence Sets...”
获取全文

电子电子书

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

出版 2008

书本目录: “... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”
获取全文

电子电子书

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

出版 2013

书本目录: “... -- Bi-objective Optimization in Identical Parallel Machine Scheduling Problem -- Teaching-Learning-Based...”
获取全文

电子电子书

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

出版 2008

书本目录: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
获取全文

电子电子书

缩小搜索