Integrator - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2008-11-05 01:49:41 Analog circuits Analog computer Digital electronics Computer Analog signal Simulation Integrator Hybrid computer Analog device Electronic engineering Electronics Electronic design		Add to Reading List Source URL: www.nsa.gov Download Document from Source Website File Size: 240,86 KB Share Document on Facebook

	dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to DocID: 1xTlX - View Document
	A Discriminative Latent Variable Chinese Segmenter with Hybrid Word/Character Information Xu Sun Department of Computer Science University of Tokyo DocID: 1vpL7 - View Document
	An Asynchronous Hybrid Genetic-Simplex Search for Modeling the Milky Way Galaxy Using Volunteer Computing Travis Desell Department of Computer DocID: 1uCsc - View Document
	Data Movement in Hybrid Analytic Systems: A Case for Automation Patrick Leyshock, David Maier, Kristin Tufte Department of Computer Science Portland State University Portland, Oregon, U.S.A. DocID: 1usoS - View Document
	High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada DocID: 1tYli - View Document