Sökresultat - detection computing programming service arrays via

1

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Publicerad 2005

Innehållsförteckning: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Hämta fulltext

Elektronisk E-bok

2

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”
Hämta fulltext

Elektronisk E-bok

3

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Hämta fulltext

Elektronisk E-bok

4

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN...

Publicerad 2010

Innehållsförteckning: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
Hämta fulltext

Elektronisk E-bok

5

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

Publicerad 2010

Innehållsförteckning: “... for Saliency Detection in Images -- Face Image Relighting using Locally Constrained Global Optimization...”
Hämta fulltext

Elektronisk E-bok

6

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Publicerad 2013

Innehållsförteckning: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
Hämta fulltext

Elektronisk E-bok

7

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Publicerad 2013

Innehållsförteckning: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
Hämta fulltext

Elektronisk E-bok

8

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Publicerad 2005

Innehållsförteckning: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Hämta fulltext

Elektronisk E-bok

9

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Publicerad 2015

Innehållsförteckning: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Hämta fulltext

Elektronisk E-bok

10

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
Hämta fulltext

Elektronisk E-bok

11

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models...”
Hämta fulltext

Elektronisk E-bok

12

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicerad 2014

Innehållsförteckning: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Hämta fulltext

Elektronisk E-bok

13

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Publicerad 2010

Innehållsförteckning: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Hämta fulltext

Elektronisk E-bok

14

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Publicerad 2010

Innehållsförteckning: “... -- InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services...”
Hämta fulltext

Elektronisk E-bok

15

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Publicerad 2007

Innehållsförteckning: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Hämta fulltext

Elektronisk E-bok

16

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
Hämta fulltext

Elektronisk E-bok

17

Intelligent Technologies and Engineering Systems

Publicerad 2013

Innehållsförteckning: “...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...”
Hämta fulltext

Elektronisk E-bok

18

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Publicerad 2010

Innehållsförteckning: “... -- Linear Coherent Bi-cluster Discovery via Beam Detection and Sample Set Clustering -- An Iterative...”
Hämta fulltext

Elektronisk E-bok

19

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

Publicerad 2010

Innehållsförteckning: “... Therapies -- Virtual Surface Discrimination via an Anisotropic-Stiffness Contact Model -- Embedding Tactile...”
Hämta fulltext

Elektronisk E-bok

20

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Publicerad 2012

Innehållsförteckning: “... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen