Søgeresultater - parallel programs value function function https

1

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

Udgivet 2007

Indholdsfortegnelse: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2010

Indholdsfortegnelse: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2005

Indholdsfortegnelse: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2014

Indholdsfortegnelse: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2010

Indholdsfortegnelse: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2013

Indholdsfortegnelse: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2005

Indholdsfortegnelse: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Få fuldtekst

Electronisk eBog

8

Software Engineering 1 Abstraction and Modelling /

af Bjørner, Dines., Bjørner, Dines.
Udgivet 2006

Indholdsfortegnelse: “... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...”
Få fuldtekst

Electronisk eBog

9

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

af Sharan, Kishori., Sharan, Kishori.
Udgivet 2014

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2015

Indholdsfortegnelse: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2010

Indholdsfortegnelse: “... for Similarity and Distance Measures -- Comparing Partitions by Subset Similarities -- Finitely Valued...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2015

Indholdsfortegnelse: “... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...”
Få fuldtekst

Electronisk eBog

14

Multiobjective Optimization Interactive and Evolutionary Approaches /

Udgivet 2008

Indholdsfortegnelse: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2008

Indholdsfortegnelse: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2008

Indholdsfortegnelse: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
Få fuldtekst

Electronisk eBog

17

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

Udgivet 2012

Indholdsfortegnelse: “... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”
Få fuldtekst

Electronisk eBog

18

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

Udgivet 2005

Indholdsfortegnelse: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2014

Indholdsfortegnelse: “... CFL Functions Are Refined by Single-Valued Functions -- Characterizing Polynomial and Exponential...”
Få fuldtekst

Electronisk eBog

20

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning