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

1

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

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

Оглавление: “... -- A Novel Trust Evaluation Model for Mobile P2P Networks -- Session 4: Parallelization...”
Полный текст

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

2

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

3

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

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

Оглавление: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Полный текст

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

4

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

5

New Horizons of Parallel and Distributed Computing

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

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

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

6

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

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

Оглавление: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Полный текст

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

7

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

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

Оглавление: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Полный текст

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

8

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-13, 2006, Braga, Portugal /

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

Оглавление: “... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”
Полный текст

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

9

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

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

Оглавление: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
Полный текст

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

10

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

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

Оглавление: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Полный текст

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

11

Distributed Algorithms for Message-Passing Systems

по Raynal, Michel., Raynal, Michel.
Опубликовано 2013

Оглавление: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Полный текст

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

12

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

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

Оглавление: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Полный текст

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

13

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

Оглавление: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Полный текст

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

14

Innovations in Computing Sciences and Software Engineering

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

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

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

15

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /

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

Оглавление: “...-functional Requirements -- Coordination Systems in Role-Based Adaptive Software -- Coordination...”
Полный текст

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

16

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

17

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

18

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

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

Оглавление: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
Полный текст

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

19

Advanced Techniques in Computing Sciences and Software Engineering

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

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

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

20

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

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

Оглавление: “... Service Using China Multimedia Mobile Broadcasting -- Double Reduction Factors Approach to the Stability...”
Полный текст

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

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