1
gan Chen, Jim X., Chen, Jim X., Chen, Chunyang.
Cyhoeddwyd 2008
Tabl Cynhwysion: ... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...
Cael y testun llawn
Electronig eLyfr
2
gan Thelin, Johan., Thelin, Johan.
Cyhoeddwyd 2007
Tabl Cynhwysion: ...Getting to Know Qt -- The Qt Way of C++ -- Rapid Application Development Using Qt -- Widgets...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2005
Tabl Cynhwysion: ... and Dissimilarities in Rules Using Multidimensional Scaling -- Learning Profiles Based on Hierarchical Hidden Markov...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2005
Tabl Cynhwysion: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Sorting -- Adventures in Bidirectional Programming -- Program Analysis Using Weighted Pushdown Systems...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2007
Tabl Cynhwysion: ... of Solitaire -- Streams and Compression -- Adapting Parallel Algorithms to the W-Stream Model...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2015
Tabl Cynhwysion: ... foundations -- Programming language integration and verification tools -- Hardware supports -- Distributed TM...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Problems -- Evolutionary Testing Techniques -- Optimal Fuzzy CLOS Guidance Law Design Using Ant Colony...
Cael y testun llawn
Electronig eLyfr
11
Tabl Cynhwysion: ... of Planes or Spheres into Point Sets -- Chap. 6 Geometric Algebra Tutorial Using CLUCalc -- Chap. 7 Inverse...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2008
Tabl Cynhwysion: ... of Narrowing Using Dependency Pairs -- Dynamic Analysis of Bounds Versus Domain Propagation -- Lparse Programs...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Optical Lens System Using Genetic Programming -- Bayesian Automatic Programming -- Dynamic Size...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2014
Tabl Cynhwysion: ...-Depth Uniform Threshold Circuits and the Bit-Complexity of Straight Line Programs -- Zero Knowledge...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Checking Concurrent Recursive Programs using Temporal Logics -- Decidability of the interval temporal logic...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Type System Improves a Foundational Program Verifier -- Computational Verification of Network Programs...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2005
Tabl Cynhwysion: ...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2014
Tabl Cynhwysion: ... Transformations -- Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions -- Portable...
Cael y testun llawn
Electronig eLyfr
20
Tabl Cynhwysion: ... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...
Cael y testun llawn
Electronig eLyfr