1
Julkaistu 2006
Sisällysluettelo: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2007
Sisällysluettelo: ... Framework to Validate 3D Models of Cardiac Electrophysiology Via Optical Imaging and MRI -- A Framework...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2010
Sisällysluettelo: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2010
Sisällysluettelo: ... Framework for Blade-Based Data Center -- Query Optimization over Parallel Relational Data Warehouses...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2006
Sisällysluettelo: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2010
Sisällysluettelo: ...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...
Hae kokoteksti
Elektroninen E-kirja
9
Tekijä Du, Ke-Lin., Du, Ke-Lin., Swamy, M.N.S.
Julkaistu 2006
Sisällysluettelo: ... and Boltzmann Machines -- Competitive Learning and Clustering -- Radial Basis Function Networks -- Principal...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2010
Sisällysluettelo: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2010
Sisällysluettelo: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2005
Sisällysluettelo: ... to an Octree-Based CSCW Framework -- Parallel Modeling of Transient States Analysis in Electrical Circuits...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2008
Sisällysluettelo: ... Generation Based on C++/OOMPI -- A Framework for Deploying Self-predefined MPI Communicators and Attributes...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2008
Sisällysluettelo: ... Expression Recognition Using Optical Flow and HMM -- An Approach for Anomaly Intrusion Detection Based...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2008
Sisällysluettelo: ... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2010
Sisällysluettelo: ... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2007
Sisällysluettelo: ... of Radiologists for Lung Nodule Detection in CT Scans -- Parallel Computations for Logic-Algebraic Based Expert...
Hae kokoteksti
Elektroninen E-kirja
18
Aiheet: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2005
Sisällysluettelo: ... Protocols -- An Architectural Framework for Detecting Process Hangs/Crashes -- Energy Efficient...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2012
Sisällysluettelo: ... Framework for Cyber Physical Systems -- Modeling Methodology (II) -- Intelligent Agent-Based Mobility...
Hae kokoteksti
Elektroninen E-kirja