1
Innehållsförteckning: ... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2008
Innehållsförteckning: ... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2014
Innehållsförteckning: ... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ...Keynote 2 -- Modeling the Internet -- Transformation-Based Parallelization of Request-Processing...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2015
Innehållsförteckning: ... High-Level Programming for Systems with Many Cores -- Inductive Prover Based on Equality Saturation...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2014
Innehållsförteckning: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2008
Innehållsförteckning: ... with ? Grammatical Evolution -- Handling the Dynamics of Norms – A Knowledge-Based Approach -- Experiments...
Hämta fulltext
Elektronisk E-bok