1
Udgivet 2007
Indholdsfortegnelse: ... of Optimal Matrix Partitioning for Parallel Dense Factorization on Heterogeneous Processors -- Parallel...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Indholdsfortegnelse: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Få fuldtekst
Electronisk eBog
3
Udgivet 2010
Indholdsfortegnelse: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Få fuldtekst
Electronisk eBog
4
af Freeman, Adam., Freeman, Adam.
Udgivet 2010
Indholdsfortegnelse: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Få fuldtekst
Electronisk eBog
6
Udgivet 2005
Indholdsfortegnelse: ... Prediction for Embedded Processors Using an ADL -- Verification of Control Paths Using Petri Nets -- Memory...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...
Få fuldtekst
Electronisk eBog
8
Udgivet 2007
Indholdsfortegnelse: ... on the TTA -- Asynchronous Functional Coupling for Low Power Sensor Network Processors -- A Heuristic...
Få fuldtekst
Electronisk eBog
9
Udgivet 2005
Indholdsfortegnelse: ...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...
Få fuldtekst
Electronisk eBog
10
Udgivet 2005
Indholdsfortegnelse: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Få fuldtekst
Electronisk eBog
11
Udgivet 2013
Indholdsfortegnelse: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
Få fuldtekst
Electronisk eBog
12
Udgivet 2008
Indholdsfortegnelse: ... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...
Få fuldtekst
Electronisk eBog
13
Indholdsfortegnelse: ... -- Design for Test -- Case Studies And Commentaries -- Metric-Driven Design Verification: Why Is My Customer...
Få fuldtekst
Electronisk eBog
14
Udgivet 2008
Indholdsfortegnelse: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
Få fuldtekst
Electronisk eBog
15
Udgivet 2015
Indholdsfortegnelse: ... in Parallel Architectures and Multi- core Processors, For Performance Improvement -- Aligning Systems...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Få fuldtekst
Electronisk eBog
17
Udgivet 2007
Indholdsfortegnelse: ... Applications on the Stream Processor -- A Scalable Parallel Software Volume Rendering Algorithm for Large-Scale...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... for the Maximum Node-Capacitated Multiflow Problem -- Linear Time Planarity Testing and Embedding of Strongly...
Få fuldtekst
Electronisk eBog
19
Udgivet 2006
Indholdsfortegnelse: ... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...
Få fuldtekst
Electronisk eBog
20
Udgivet 2005
Indholdsfortegnelse: ... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...
Få fuldtekst
Electronisk eBog