Arama Sonuçları - parallel integral program functionality function https*

1

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Tam Metin Erişim

Elektronik Ekitap

2

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Tam Metin Erişim

Elektronik Ekitap

3

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Tam Metin Erişim

Elektronik Ekitap

5

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Tam Metin Erişim

Elektronik Ekitap

6

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Tam Metin Erişim

Elektronik Ekitap

10

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”
Tam Metin Erişim

Elektronik Ekitap

18

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”
Tam Metin Erişim

Elektronik Ekitap

19

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Integral Equation of Prandtl’s Type -- Fourier Integral Operators and Gelfand-Shilov Spaces -- Strongly...”
Tam Metin Erişim

Elektronik Ekitap

20

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /

Yazar: Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Baskı/Yayın Bilgisi 2007

İçindekiler: “... Integration -- Optimisation Framework -- Scientific Grid Workflows -- Related Work -- Conclusions....”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt