Результаты поиска - parallel intersecting programs functionals function https

1

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

2

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

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

Оглавление: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Полный текст

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

3

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

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

Оглавление: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Полный текст

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

4

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

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

Оглавление: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Полный текст

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

5

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

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

Оглавление: “... for Intersection Graphs -- An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar...”
Полный текст

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

6

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

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

Оглавление: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
Полный текст

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

7

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

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

Оглавление: “...-Oblivious Red-Blue Line Segment Intersection -- The Complexity of Bisectors and Voronoi Diagrams...”
Полный текст

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

8

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

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

Оглавление: “... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”
Полный текст

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

9

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

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

Оглавление: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
Полный текст

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

10

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

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

Оглавление: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
Полный текст

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

11

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

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

Оглавление: “... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”
Полный текст

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

12

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008, Pr...

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

Оглавление: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
Полный текст

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

13

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

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

Оглавление: “... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”
Полный текст

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

14

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

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

Оглавление: “... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”
Полный текст

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

15

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

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

Оглавление: “... Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis...”
Полный текст

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

16

Computational Methods

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

Оглавление: “... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”
Полный текст

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

17

Intelligent Technologies and Engineering Systems

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

Оглавление: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
Полный текст

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

18

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

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

Оглавление: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Полный текст

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

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