Arama Sonuçları - detection ((computing programming) or (computation 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 /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Saliency Detection in Images -- Face Image Relighting using Locally Constrained Global Optimization...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models...”
Tam Metin Erişim

Elektronik Ekitap

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...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services...”
Tam Metin Erişim

Elektronik Ekitap

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...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Therapies -- Virtual Surface Discrimination via an Anisotropic-Stiffness Contact Model -- Embedding Tactile...”
Tam Metin Erişim

Elektronik Ekitap