檢索結果 - parallel path program functionals function https*

搜索替代詞:
functionals function » function function , functions functional , function dysfunction
program functionals » programs functional , program functionality , problem functionals
function https » functions https , fiction https
parallel path » parallel paths , parallel batch , parallel plate
path program » earth program , pelatih program , health program

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...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
獲取全文

電子電子書

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

出版 2010

書本目錄: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
獲取全文

電子電子書

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

出版 2014

書本目錄: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
獲取全文

電子電子書

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

出版 2014

書本目錄: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
獲取全文

電子電子書

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

出版 2008

書本目錄: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
獲取全文

電子電子書

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

出版 2006

書本目錄: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
獲取全文

電子電子書

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

出版 2005

書本目錄: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
獲取全文

電子電子書

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

出版 2013

書本目錄: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
獲取全文

電子電子書

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

出版 2013

書本目錄: “... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
獲取全文

電子電子書

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

由 Sharan, Kishori., Sharan, Kishori.
出版 2014

主題: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
獲取全文

電子電子書

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, 2...

出版 2010

書本目錄: “... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”
獲取全文

電子電子書

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

出版 2015

書本目錄: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

出版 2005

書本目錄: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
獲取全文

電子電子書

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...

出版 2008

書本目錄: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
獲取全文

電子電子書

縮小搜索