1
Gepubliceerd in 2006
Inhoudsopgave: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2010
Inhoudsopgave: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2010
Inhoudsopgave: ...) -- Accelerating Euler Equations Numerical Solver on Graphics Processing Units -- An Improved Parallel MEMS...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2008
Inhoudsopgave: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2013
Inhoudsopgave: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2007
Inhoudsopgave: ... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2007
Inhoudsopgave: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2010
Inhoudsopgave: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2010
Inhoudsopgave: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2008
Inhoudsopgave: ... and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2008
Inhoudsopgave: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2015
Inhoudsopgave: ... Inverter Using Particle Swarm Optimization -- Anti-islanding Test results for Multiple PV Inverter...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2008
Inhoudsopgave: ...Invited Talk -- The Life of a Logic Programming System -- Special Session -- Uniting the Prolog...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2010
Inhoudsopgave: ... : chains, braids, confluence and T#x0026;E -- Platform Independent Unit Tests Generator -- Fuzzy Document...
Volledige tekst
Elektronisch E-boek
15
Onderwerpen: ...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2010
Inhoudsopgave: ...-Unit Based Regular Expression Matching with Reconfigurable Function Unit -- Availability Analysis...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2010
Inhoudsopgave: ... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2007
Inhoudsopgave: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2005
Inhoudsopgave: ... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2015
Inhoudsopgave: ...-type Generating Units based on Latin Hypercube Sampling Method and Mean Lower Semi-absolute Deviation...
Volledige tekst
Elektronisch E-boek