Suchergebnisse - parallel via program function function https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Volltext

Elektronisch E-Book

2

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Veröffentlicht 2010

Inhaltsangabe: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Volltext

Elektronisch E-Book

3

Scalable Optimization via Probabilistic Modeling From Algorithms to Applications /

Veröffentlicht 2006

Inhaltsangabe: “... Learning via Probabilistic Modeling in the Extended Compact Genetic Algorithm (ECGA) -- Hierarchical...”
Volltext

Elektronisch E-Book

4

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Volltext

Elektronisch E-Book

5

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Volltext

Elektronisch E-Book

6

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Veröffentlicht 2014

Inhaltsangabe: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Volltext

Elektronisch E-Book

7

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Veröffentlicht 2008

Inhaltsangabe: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Volltext

Elektronisch E-Book

8

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

Veröffentlicht 2006

Inhaltsangabe: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Volltext

Elektronisch E-Book

9

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

von Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Veröffentlicht 2006

Inhaltsangabe: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Volltext

Elektronisch E-Book

10

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Volltext

Elektronisch E-Book

11

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Veröffentlicht 2006

Inhaltsangabe: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volltext

Elektronisch E-Book

12

A Primer on Scientific Programming with Python

von Langtangen, Hans Petter., Langtangen, Hans Petter.
Veröffentlicht 2014

Inhaltsangabe: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Volltext

Elektronisch E-Book

13

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

14

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

15

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”
Volltext

Elektronisch E-Book

16

Guide to Scientific Computing in C++

von Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Veröffentlicht 2012

Inhaltsangabe: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Volltext

Elektronisch E-Book

17

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

Veröffentlicht 2008

Inhaltsangabe: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Volltext

Elektronisch E-Book

18

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

Veröffentlicht 2006

Inhaltsangabe: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Volltext

Elektronisch E-Book

19

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: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Volltext

Elektronisch E-Book

20

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Volltext

Elektronisch E-Book

Suche einschränken