Результаты поиска - parallel solutions program functionality based https

1

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

2

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

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

Оглавление: “... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”
Полный текст

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

5

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

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

Оглавление: “... -- Graph Clustering Based Model Building -- How to Choose Solutions for Local Search in Multiobjective...”
Полный текст

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

6

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

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

Оглавление: “...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”
Полный текст

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

7

packetC Programming

по Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Опубликовано 2011

Предметы: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Полный текст

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

8

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

по Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Опубликовано 2006

Оглавление: “... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Полный текст

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

9

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

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

Оглавление: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Полный текст

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

10

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

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

Оглавление: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Полный текст

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

11

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

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

Оглавление: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Полный текст

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

12

Software Engineering 1 Abstraction and Modelling /

по Bjørner, Dines., Bjørner, Dines.
Опубликовано 2006

Оглавление: “...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Полный текст

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

13

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

Оглавление: “...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...”
Полный текст

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

14

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

15

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

16

Innovations in Computing Sciences and Software Engineering

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

Оглавление: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Полный текст

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

17

Multiobjective Optimization Interactive and Evolutionary Approaches /

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

Оглавление: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Полный текст

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

18

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

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

Оглавление: “... and Loading Solution for Semi-structured Text Files -- 7 – Intelligent Robotics (IROBOT 2005) -- Visual Based...”
Полный текст

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

19

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

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

Оглавление: “... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”
Полный текст

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

20

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

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

Оглавление: “... -- Dimensional Synthesis of a Planar Parallel Manipulator for Pick-and-Place Operations Based on Rigid-Body...”
Полный текст

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

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