Результаты поиска - parallel programs https functional activity https

1

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

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

Оглавление: “... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”
Полный текст

Электронный ресурс 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

New Horizons of Parallel and Distributed Computing

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

Оглавление: “... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”
Полный текст

Электронный ресурс 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

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

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

Оглавление: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Полный текст

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

6

Beginning Haskell A Project-Based Approach /

по Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Опубликовано 2014

Предметы: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Полный текст

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

7

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

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

Оглавление: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Полный текст

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

8

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

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

Оглавление: “... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”
Полный текст

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

9

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

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

Оглавление: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Полный текст

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

10

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

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

Оглавление: “... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”
Полный текст

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

11

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

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

Оглавление: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Полный текст

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

12

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

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

Оглавление: “... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”
Полный текст

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

13

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

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

Оглавление: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Полный текст

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

14

Innovations in Computing Sciences and Software Engineering

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

Оглавление: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Полный текст

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

15

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

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

Оглавление: “... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”
Полный текст

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

16

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

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

Оглавление: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Полный текст

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