Canlyniadau Chwilio - parallel programs https functional view https

1

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Cael y testun llawn

Electronig eLyfr

2

Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /

Cyhoeddwyd 2012

Pynciau: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Cael y testun llawn

Electronig eLyfr

3

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Cael y testun llawn

Electronig eLyfr

4

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Cael y testun llawn

Electronig eLyfr

5

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
Cael y testun llawn

Electronig eLyfr

6

Mathematical and Computer Programming Techniques for Computer Graphics

gan Comninos, Peter., Comninos, Peter.
Cyhoeddwyd 2006

Tabl Cynhwysion: “...-Dimensional Transformations -- Viewing and Projection Transformations -- 3D Rendering -- Physically Based...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Cael y testun llawn

Electronig eLyfr

9

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Cael y testun llawn

Electronig eLyfr

10

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...) -- On the Specification of Non-functional Properties of Systems by Observation -- Modeling Heterogeneous Points of View...”
Cael y testun llawn

Electronig eLyfr

11

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Cael y testun llawn

Electronig eLyfr

12

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Cael y testun llawn

Electronig eLyfr

13

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Perturbation Lemma -- Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView...”
Cael y testun llawn

Electronig eLyfr

14

Handbook of Data Visualization

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Views for Visual Exploration -- Linked Data Views -- Visualizing Trees and Forests -- Methodologies...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Cael y testun llawn

Electronig eLyfr

16

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Preemptive Scheduling of Independent Jobs on Identical Parallel Machines Subject to Migration Delays...”
Cael y testun llawn

Electronig eLyfr

17

Applied WPF 4 in Context

gan Garofalo, Raffaele., Garofalo, Raffaele.
Cyhoeddwyd 2011

Pynciau: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Cael y testun llawn

Electronig eLyfr

18

Advanced Techniques in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Cael y testun llawn

Electronig eLyfr

19

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”
Cael y testun llawn

Electronig eLyfr

20

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Invited Speakers -- Organizing Software Agents -- Learning, Logic, and Probability: A Unified View...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad