Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
foundation foundation » communication foundation, foundation colonization, foundation information
parallel programs » parallel programming
https foundation » its foundation, states foundations, years foundation
foundation https » foundations https, foundations http, function https
foundation foundation » communication foundation, foundation colonization, foundation information
parallel programs » parallel programming
https foundation » its foundation, states foundations, years foundation
foundation https » foundations https, foundations http, function https
1
Table of Contents:
“... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“... -- Plugins -- Doing Things in Parallel -- Databases -- Networking -- Building Qt Projects -- Unit Testing....”
View full text
View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Compactness Properties for Stable Semantics of Logic Programs -- Uniform Circuits, & Boolean Proof Nets...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”View full text
Electronic
eBook
5
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Published 2010
Table of Contents:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”View full text
Electronic
eBook
6
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
7
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
8
Published 2005
Table of Contents:
“... Optimization -- On Some Bounds on the Size of Branching Programs (A Survey) -- Two Metaheuristics...”View full text
Electronic
eBook
9
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... of Solitaire -- Streams and Compression -- Adapting Parallel Algorithms to the W-Stream Model...”View full text
Electronic
eBook
11
Subjects:
“...Computer Imaging, Vision, Pattern Recognition and Graphics. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
12
Published 2015
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... foundations -- Programming language integration and verification tools -- Hardware supports -- Distributed TM...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...-Depth Uniform Threshold Circuits and the Bit-Complexity of Straight Line Programs -- Zero Knowledge...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“...? -- Logic, Semantics, Automata and Theory of Programming -- Choiceless Polynomial Time on structures...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Sorting -- Adventures in Bidirectional Programming -- Program Analysis Using Weighted Pushdown Systems...”View full text
Electronic
eBook
18
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Equilibrium Logic and Foundations for Answer Set Programs -- Elimination of Disjunction and Negation in Answer...”View full text
Electronic
eBook