Rezultati - detection computational program service arrays via

Poišči alternative:
detection computational » section computational , prediction computational , interactions computational
computational program » computational problem , compositional program , computational problems
program service » programs service , programme service , program serving
service arrays » service areas , service area , service pays
arrays via » arrays a

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

Izdano 2010

Kazalo: “... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... for Saliency Detection in Images -- Face Image Relighting using Locally Constrained Global Optimization...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2013

Kazalo: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2013

Kazalo: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2015

Kazalo: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2014

Kazalo: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2013

Kazalo: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... -- InterCloud: Utility-Oriented Federation of Cloud Computing Environments for Scaling of Application Services...”
Polni tekst

Elektronski eKnjiga

Intelligent Technologies and Engineering Systems

Izdano 2013

Kazalo: “...-EMF Detection -- Establishment of the Photovoltaic Simulation System using Mixed Programming...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... -- Linear Coherent Bi-cluster Discovery via Beam Detection and Sample Set Clustering -- An Iterative...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Therapies -- Virtual Surface Discrimination via an Anisotropic-Stiffness Contact Model -- Embedding Tactile...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2012

Kazalo: “... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje