Zoekresultaten - parallel valued programs functionality function https

1

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

Gepubliceerd in 2007

Inhoudsopgave: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Volledige tekst

Elektronisch E-boek

2

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

Gepubliceerd in 2010

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

Elektronisch E-boek

3

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2014

Inhoudsopgave: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2010

Inhoudsopgave: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2013

Inhoudsopgave: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2005

Inhoudsopgave: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Volledige tekst

Elektronisch E-boek

8

Software Engineering 1 Abstraction and Modelling /

door Bjørner, Dines., Bjørner, Dines.
Gepubliceerd in 2006

Inhoudsopgave: “... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
Volledige tekst

Elektronisch E-boek

9

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

door Sharan, Kishori., Sharan, Kishori.
Gepubliceerd in 2014

Onderwerpen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2015

Inhoudsopgave: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2010

Inhoudsopgave: “... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2015

Inhoudsopgave: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2015

Inhoudsopgave: “... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”
Volledige tekst

Elektronisch E-boek

14

Multiobjective Optimization Interactive and Evolutionary Approaches /

Gepubliceerd in 2008

Inhoudsopgave: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Volledige tekst

Elektronisch E-boek

15

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

Gepubliceerd in 2008

Inhoudsopgave: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2008

Inhoudsopgave: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2012

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

Elektronisch E-boek

18

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

Gepubliceerd in 2005

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

Elektronisch E-boek

19

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

Gepubliceerd in 2014

Inhoudsopgave: “... CFL Functions Are Refined by Single-Valued Functions -- Characterizing Polynomial and Exponential...”
Volledige tekst

Elektronisch E-boek

20

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /

door Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Gepubliceerd in 2007

Onderwerpen: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken