Результаты поиска - parallel blocking program function ((dysfunction https) OR (function https))

1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

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

Оглавление: “...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”
Полный текст

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

2

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

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

Оглавление: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Полный текст

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

3

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

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

Оглавление: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Полный текст

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

4

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

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

Оглавление: “... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...”
Полный текст

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

5

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

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

Оглавление: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Полный текст

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

6

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

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

Оглавление: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Полный текст

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

7

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

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

Оглавление: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Полный текст

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

8

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

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

Оглавление: “... on General Banach Spaces -- Factorization of Block Triangular Matrix Functions with Off-diagonal Binomials...”
Полный текст

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

9

Guide to Scientific Computing in C++

по Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Опубликовано 2012

Оглавление: “...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
Полный текст

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

10

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Книга

11

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

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

Оглавление: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Полный текст

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

12

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Книга

13

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

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

Оглавление: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Полный текст

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

14

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

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

Оглавление: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Полный текст

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

15

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

по Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Опубликовано 2005

Оглавление: “... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...”
Полный текст

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