Arama Sonuçları - parallel programming https function's organization https

1

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

2

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

Baskı/Yayın Bilgisi 2012

Konular: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Tam Metin Erişim

Elektronik Ekitap

3

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Tam Metin Erişim

Elektronik Ekitap

4

New Horizons of Parallel and Distributed Computing

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
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

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Tam Metin Erişim

Elektronik Ekitap

7

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Tam Metin Erişim

Elektronik Ekitap

8

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

9

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Tam Metin Erişim

Elektronik Ekitap

10

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Tam Metin Erişim

Elektronik Ekitap

14

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Tam Metin Erişim

Elektronik Ekitap

15

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Tam Metin Erişim

Elektronik Ekitap

16

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Tam Metin Erişim

Elektronik Ekitap

17

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

18

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Tam Metin Erişim

Elektronik Ekitap

19

Expert F# 4.0

Yazar: Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Baskı/Yayın Bilgisi 2015

Konular: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt