Arama Sonuçları - parallel state program function computing 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

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”
Tam Metin Erişim

Elektronik Ekitap

4

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Tam Metin Erişim

Elektronik Ekitap

5

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

6

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

7

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...) Computations Based on GPU -- Parallel Programming, Performance Evaluation -- A Proposed Asynchronous Object...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Tam Metin Erişim

Elektronik Ekitap

10

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Tam Metin Erişim

Elektronik Ekitap

11

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: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Tam Metin Erişim

Elektronik Ekitap

12

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Tam Metin Erişim

Elektronik Ekitap

13

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Tam Metin Erişim

Elektronik Ekitap

14

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Tam Metin Erişim

Elektronik Ekitap

16

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

17

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...”
Tam Metin Erişim

Elektronik Ekitap

18

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Tam Metin Erişim

Elektronik Ekitap

19

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

20

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt