Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
foundations computing » foundations computer, foundations concluding, equations computing
program foundations » program foundation, problem foundations, program conditions
processing program » processing programs, processing programmed, proceedings program
https » http
foundations computing » foundations computer, foundations concluding, equations computing
program foundations » program foundation, problem foundations, program conditions
processing program » processing programs, processing programmed, proceedings program
https » http
1
Published 2005
Table of Contents:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”View full text
Electronic
eBook
2
Table of Contents:
“... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... Kinematics of a Simple Robot -- Chap. 8 Robot Grasping an Object -- Chap. 9 Efficient Computer Animation...”
View full text
View full text
Electronic
eBook
4
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Published 2014
Table of Contents:
“... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Bisimulation Algorithm -- Logspace Algorithms for Computing Shortest and Longest Paths in Series-Parallel...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Process Plan by Memetic Algorithms -- Eco-Grammar Systems as Models for Parallel Evolutionary Algorithms....”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Parallel Programming -- Operator-Based Distance for Genetic Programming: Subtree Crossover Distance...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Addiction Labels -- Challenges of the customer organizations requirements engineering -- (RE) process...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”View full text
Electronic
eBook
15
Published 2012
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Reasoning in Memory Hierarchies -- The Complexity of Coverage -- Game Characterizations of Process...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“...On the Minimum 2-Norm Positive Tension for Wire-Actuated Parallel Manipulators, by L. Notash...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... by Adding a Backward Step -- Memory Resident Parallel Inverted Index Construction -- Dynamic Programming...”View full text
Electronic
eBook