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