Suchergebnisse - parallel programming valued function function https

1

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

Veröffentlicht 2007

Inhaltsangabe: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Volltext

Elektronisch E-Book

2

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

Veröffentlicht 2010

Inhaltsangabe: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volltext

Elektronisch E-Book

4

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

Veröffentlicht 2014

Inhaltsangabe: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Volltext

Elektronisch E-Book

6

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

Veröffentlicht 2013

Inhaltsangabe: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Volltext

Elektronisch E-Book

7

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

Veröffentlicht 2005

Inhaltsangabe: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Volltext

Elektronisch E-Book

8

Software Engineering 1 Abstraction and Modelling /

von Bjørner, Dines., Bjørner, Dines.
Veröffentlicht 2006

Inhaltsangabe: “... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
Volltext

Elektronisch E-Book

9

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

Veröffentlicht 2010

Inhaltsangabe: “... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”
Volltext

Elektronisch E-Book

10

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

Veröffentlicht 2015

Inhaltsangabe: “... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”
Volltext

Elektronisch E-Book

11

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

Veröffentlicht 2015

Inhaltsangabe: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Volltext

Elektronisch E-Book

12

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

von Sharan, Kishori., Sharan, Kishori.
Veröffentlicht 2014

Schlagworte: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volltext

Elektronisch E-Book

13

Multiobjective Optimization Interactive and Evolutionary Approaches /

Veröffentlicht 2008

Inhaltsangabe: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Volltext

Elektronisch E-Book

14

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

Veröffentlicht 2015

Inhaltsangabe: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Volltext

Elektronisch E-Book

15

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

Veröffentlicht 2008

Inhaltsangabe: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Volltext

Elektronisch E-Book

16

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

Veröffentlicht 2012

Inhaltsangabe: “... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”
Volltext

Elektronisch E-Book

17

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

Veröffentlicht 2005

Inhaltsangabe: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Volltext

Elektronisch E-Book

18

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

Veröffentlicht 2008

Inhaltsangabe: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Volltext

Elektronisch E-Book

19

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

Veröffentlicht 2007

Inhaltsangabe: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Volltext

Elektronisch E-Book

20

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Veröffentlicht 2010

Inhaltsangabe: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Volltext

Elektronisch E-Book

Suche einschränken