Hybrid - PDFSEARCH.IO - Document Search Engine

Hybrid
Results: 12755

#	Item
1	Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Debugging Aspect-oriented software development Aspect-oriented programming Delta debugging Extreme programming Software testing Debugger Software bug AspectJ Spring Framework
2	Effective Identification of Failure-Inducing Changes: A Hybrid Approach Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao PASTE 2008 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Debugging Delta debugging Complement system
3	1 Safe Update of Hybrid SDN Networks Stefano Vissicchio, Laurent Vanbever, Luca Cittadini, Geoffrey G. Xie, Olivier Bonaventure Abstract—The support for safe network updates, i.e., live Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-12-20 05:43:00 Computing Internet architecture Information and communications technology Network architecture Emerging technologies Routing algorithms Routing Forwarding information base Link-state routing protocol Functional programming OpenFlow Network function virtualization
4	A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 04:52:12 Mathematical analysis Functional analysis Metaphysics Stochastic processes Distribution Stochastic simulation Dynamical system
5	FuhSen: A Platform for Federated, RDF-based Hybrid Search Diego Collarana Christoph Lange Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:27:11 Computing Information science Data management Semantic Web Resource Description Framework Federated search SPARQL Semantic search Ontology Data integration Apache Solr Wrapper
6	Distributed Computing Prof. R. Wattenhofer BA/MA/SA: A Hybrid Blockchain System Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-08-09 03:07:37 Cryptocurrencies Computing Economy Concurrent computing Blockchain Proof-of-stake Ethereum Bitcoin Decred Cryptoeconomics
7	Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France, Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-10-05 02:55:26 Differential equations Mathematics Hybrid automaton Hybrid system Systems science X0 Center FO Systems theory
8	Computable Analysis, Hybrid Automata, and Decision Procedures (Extended Thesis Abstract) Sicun Gao 1 1.1 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Computability theory Mathematics Mathematical logic Theory of computation Computable number Decision problem Computable function NC Continuous function First-order logic Real closed field Limit of a function
9	Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou1 , Alexandre Chapoutot2 , and Samuel Mimram1 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette France Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2013-01-16 16:02:10 Mathematics Mathematical analysis Analysis Polynomials Numerical analysis Interpolation Algebra Polynomial interpolation Affine arithmetic Numerical integration Lagrange polynomial Polynomial
10	Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin Add to Reading List Source URL: symbolaris.com Language: English - Date: 2018-02-19 21:13:22 Physics Logic Quantity VLO Traffic collision avoidance system Work Quantifier