Usa - PDFSEARCH.IO - Document Search Engine

Usa
Results: 56396

#	Item
81	Big data and AI Proxy Benchmarks for Simulation Chen Zheng http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-04-01 06:23:46 Modeling and simulation Simulation Computer performance Benchmark Big data Computing Data Information
82	CenterServ 99 South Almaden Blvd. Suite 600, San Jose, California 95113, USA www.centerserv.com Add to Reading List Source URL: www.centerserv.com Language: English - Date: 2017-02-08 21:02:03 Cloud infrastructure IT infrastructure Computing Cloud computing Construction Virtual office Centralized computing HP Cloud Cloud robotics
83	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
84	Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-22 15:37:59 Theoretical computer science Mathematics Formal methods Logic in computer science Models of computation Temporal logic Runtime verification Formal verification Model checking Linear temporal logic Finite-state machine FO
85	CenterServ 99 South Almaden Blvd. Suite 600, San Jose, California 95113, USA www.centerserv.com Add to Reading List Source URL: www.centerserv.com Language: English - Date: 2017-02-08 21:02:08 Cloud infrastructure Cloud computing IT infrastructure Computing HP Cloud IBM cloud computing
86	Practical Semantic Test Simplification Sai Zhang University of Washington, USA Abstract—We present a technique that simplifies tests at the Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software testing Software development Software engineering Computing Debugging Program slicing Unit testing Test automation
87	A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract Add to Reading List Source URL: shukla.io Language: English - Date: 2017-05-18 12:57:06 Metaphysics Cybernetics Logic Computational neuroscience Human behavior Robotics Human communication Humanrobot interaction Multimodal interaction Image segmentation Artificial intelligence Knowledge
88	Small Data: Applications and Architecture Cheng-Kang Hsieh∗ , Faisal Alquaddoomi† , Fabian Okeke‡ , John P. Pollak§ , Lucky Gunasekara¶ and Deborah Estrink ∗ UCLA CSD; Los Angeles, CA, USA ( Add to Reading List Source URL: smalldata.io Language: English - Date: 2018-10-24 23:11:34
89	Stabilizing Floating-Point Programs Using Provenance Analysis Yijia Gu(B) and Thomas Wahl College of Computer and Information Science, Boston, USA {guyijia,wahl}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2017-02-09 10:23:03 Operator theory Symbol Operator Computability theory
90	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 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Mathematics Dynamical systems Systems science Control theory Hybrid system Systems theory Satisfiability modulo theories

UPDATE