1
Julkaistu 2005
Sisällysluettelo: ... -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2010
Sisällysluettelo: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2006
Sisällysluettelo: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2010
Sisällysluettelo: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2005
Sisällysluettelo: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2013
Sisällysluettelo: ... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2005
Sisällysluettelo: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2014
Sisällysluettelo: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2008
Sisällysluettelo: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2010
Sisällysluettelo: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2008
Sisällysluettelo: ... -- Smoothing Techniques for Visualisation -- Data Visualization via Kernel Machines -- Visualizing Cluster...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... Expert System for Diabetes Disease Diagnosis Using Modified Spline Smooth Support Vector Machine...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2006
Sisällysluettelo: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2006
Sisällysluettelo: ... Java Virtual Machine -- Power Awareness -- PASCOM: Power Model for Supercomputers -- Power-Aware...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2005
Sisällysluettelo: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2007
Sisällysluettelo: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2007
Sisällysluettelo: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Hae kokoteksti
Elektroninen E-kirja