Arama Sonuçları - parallel programs source function functional https

Şunu mu demek istediniz:
function functional » functions functional , fractional functional , nutrition functional
parallel programs » parallel programming
functional https » functions https , function https , functional hop
programs source » program source , programs south , programmer's source
source function » source functions , resource function , sources functions

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Baskı/Yayın Bilgisi 2011

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

Elektronik Ekitap

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Baskı/Yayın Bilgisi 2013

İçindekiler: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Tam Metin Erişim

Elektronik Ekitap

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

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: “...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”
Tam Metin Erişim

Elektronik Ekitap

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

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

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global...

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...”
Tam Metin Erişim

Elektronik Ekitap

Beginning R An Introduction to Statistical Programming /

Yazar: Pace, Larry., Pace, Larry., Wiley, Joshua.
Baskı/Yayın Bilgisi 2015

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

Elektronik Ekitap

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

The Definitive Guide to Jython Python for the Java Platform /

Yazar: Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Tam Metin Erişim

Elektronik Ekitap

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

Yazar: Sharan, Kishori., Sharan, Kishori.
Baskı/Yayın Bilgisi 2014

Konular: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Tam Metin Erişim

Elektronik Ekitap

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Tam Metin Erişim

Elektronik Ekitap

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Baskı/Yayın Bilgisi 2015

İçindekiler: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Tam Metin Erişim

Elektronik Ekitap

Innovations in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Tam Metin Erişim

Elektronik Ekitap

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Tam Metin Erişim

Elektronik Ekitap

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Tam Metin Erişim

Elektronik Ekitap

Advanced Techniques in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt