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

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

3

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

4

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

5

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

6

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: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Tam Metin Erişim

Elektronik Ekitap

8

Software Engineering 1 Abstraction and Modelling /

Yazar: Bjørner, Dines., Bjørner, Dines.
Baskı/Yayın Bilgisi 2006

İçindekiler: “... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
Tam Metin Erişim

Elektronik Ekitap

9

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

10

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Tam Metin Erişim

Elektronik Ekitap

11

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”
Tam Metin Erişim

Elektronik Ekitap

12

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: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Tam Metin Erişim

Elektronik Ekitap

13

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”
Tam Metin Erişim

Elektronik Ekitap

14

Multiobjective Optimization Interactive and Evolutionary Approaches /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Tam Metin Erişim

Elektronik Ekitap

15

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Tam Metin Erişim

Elektronik Ekitap

16

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Tam Metin Erişim

Elektronik Ekitap

17

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Baskı/Yayın Bilgisi 2012

İçindekiler: “... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”
Tam Metin Erişim

Elektronik Ekitap

18

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Tam Metin Erişim

Elektronik Ekitap

19

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... CFL Functions Are Refined by Single-Valued Functions -- Characterizing Polynomial and Exponential...”
Tam Metin Erişim

Elektronik Ekitap

20

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt