Canlyniadau Chwilio - detection compositional program semantics arrays a

Chwilio eraill:
detection compositional » detection computational , infection compositional , derivation compositional
compositional program » composition programs , computational program , compositional problems
program semantics » programming semantics , process semantics , from semantics
semantics arrays » semantics essays , semantics across , semantics arrow
arrays a » arrays _

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...–Enabled Web Services -- Automatic Composition and Selection of Semantic Web Services -- Grid Application...”
Cael y testun llawn

Electronig eLyfr

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
Cael y testun llawn

Electronig eLyfr

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...”
Cael y testun llawn

Electronig eLyfr

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Architectures with a Hybrid Parallel Programming Model -- High Performance FFT on SGI Altix 3700 -- Security...”
Cael y testun llawn

Electronig eLyfr

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Commonsense from the Web -- Detecting Temporal Pattern and Cluster Changes in Social Networks: A Study...”
Cael y testun llawn

Electronig eLyfr

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Between SQLf and Skyline -- Resolution of Semantic Queries on a Set of Web Services -- Detecting...”
Cael y testun llawn

Electronig eLyfr

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... for Memristive Neural Network -- Aimbot Detection in Online FPS Games Using a Heuristic Method Based...”
Cael y testun llawn

Electronig eLyfr

Intelligent Technologies and Engineering Systems

Cyhoeddwyd 2013

Tabl Cynhwysion: “...-shaped objects -- A Method to Implementation of Lane Detection under Android System Based on OpenCV...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad