Результаты поиска - parallel programming https function rewriting https

1

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

Опубликовано 2010

Оглавление: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Полный текст

Электронный ресурс eКнига

2

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Опубликовано 2012

Оглавление: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Полный текст

Электронный ресурс eКнига

3

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

Опубликовано 2006

Оглавление: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Полный текст

Электронный ресурс eКнига

4

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Опубликовано 2008

Оглавление: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2006

Оглавление: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Полный текст

Электронный ресурс eКнига

6

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Полный текст

Электронный ресурс eКнига

7

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

Опубликовано 2008

Оглавление: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Полный текст

Электронный ресурс eКнига

8

Advanced Techniques in Computing Sciences and Software Engineering

Опубликовано 2010

Оглавление: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Полный текст

Электронный ресурс eКнига

9

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

Опубликовано 2007

Оглавление: “... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”
Полный текст

Электронный ресурс eКнига

10

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
Полный текст

Электронный ресурс eКнига

11

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Опубликовано 2015

Оглавление: “... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”
Полный текст

Электронный ресурс eКнига

12

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... -- Implicational Rewriting Tactics in HOL -- A Heuristic Prover for Real Inequalities -- A Formal Library...”
Полный текст

Электронный ресурс eКнига

13

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Полный текст

Электронный ресурс eКнига

14

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Опубликовано 2013

Оглавление: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Полный текст

Электронный ресурс eКнига

15

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /

Опубликовано 2015

Оглавление: “... -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching...”
Полный текст

Электронный ресурс eКнига

16

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Опубликовано 2008

Оглавление: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Полный текст

Электронный ресурс eКнига

17

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Опубликовано 2005

Оглавление: “... -- Some Modifications of Bucket-Based Algorithms for Query Rewriting Using Views -- Data Mining...”
Полный текст

Электронный ресурс eКнига

18

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Опубликовано 2013

Оглавление: “... Rewriting Semantics in Extensible Programming Languages -- Neuro-Fuzzy Model Related to Job Assignation...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска