Search Results - parallel solution program function control https

1

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

Published 2010

Table of Contents: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
View full text

Electronic eBook

2

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Published 2006

Table of Contents: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
View full text

Electronic eBook

4

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

Published 2005

Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text

Electronic eBook

5

packetC Programming

by Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Published 2011

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

6

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

by Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Published 2006

Table of Contents: “... in Data -- Files -- Functions -- Control Structures -- Characters -- Complex -- Logical -- User Defined...”
View full text

Electronic eBook

7

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

Published 2010

Table of Contents: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
View full text

Electronic eBook

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 /

Published 2006

Table of Contents: “... for Embedded Control Systems -- MDE Benefits for Distributed, Real Time and Embedded Systems -- Reifying...”
View full text

Electronic eBook

9

Guide to Scientific Computing in C++

by Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Published 2012

Table of Contents: “...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
View full text

Electronic eBook

10

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

Published 2005

Table of Contents: “... Nevanlinna-Pick Interpolation for Points in the Open Unit Disc -- On the Numerical Solution of a Nonlinear...”
View full text

Electronic eBook

11

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Published 2015

Table of Contents: “... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”
View full text

Electronic eBook

12

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

Published 2015

Table of Contents: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
View full text

Electronic eBook

13

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

Published 2007

Table of Contents: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
View full text

Electronic eBook

14

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
View full text

Electronic eBook

15

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

Published 2005

Table of Contents: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
View full text

Electronic eBook

16

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
View full text

Electronic eBook

17

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

Published 2005

Table of Contents: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
View full text

Electronic eBook

18

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Published 2010

Table of Contents: “... Strategy Based Design of Mixed H2/H??? PID Controller -- Towards a Link between Knee Solutions...”
View full text

Electronic eBook

19

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

Published 2008

Table of Contents: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
View full text

Electronic eBook

20

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

Narrow Search