CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
51	arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-08-19 13:20:33 Embedded systems Computer hardware Computing USB Electronics Firmware Intel MCS-51 Microcontroller Human interface device Computer USB human interface device class
52	Star-Cap: Cluster Power Management Using Software-Only Models John D. Davis Suzanne Rivoire Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:37 Computing Parallel computing Computer engineering Information and communications technology Capping Power management Computer cluster Scalability PageRank Distributed computing
53	JouleSort: A Balanced Energy-Efficiency Benchmark Suzanne Rivoire (Stanford), Mehul Shah (HP Labs), Partha Ranganathan (HP Labs), Christos Kozyrakis (Stanford) Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:51 Concurrent computing Computing Distributed computing Computers and the environment Electric power Energy conservation Performance per watt Cluster computing Parallel computing Benchmark Supercomputer Data center
54	A Comparison of High-Level Full-System Power Models Who needs power models? !! Component and system designers "! How do design decisions affect power? Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:55 Central processing unit Computer performance Load Xeon Computing Computer engineering
55	PDF Document Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Network architecture Routing protocols Information and communications technology Internet architecture Internet Standards Routing algorithms Multiprotocol Label Switching Routing IS-IS Router Software-defined networking
56	Detecting Intentional Packet Drops on the Internet via TCP/IP Side Channels: Extended Version arXiv:1312.5739v1 [cs.NI] 19 Dec 2013 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-12-19 20:54:41 Computer security software Computer security Cyberwarfare Computing Computer network security Idle scan Denial-of-service attacks Transmission Control Protocol Stateful firewall Port scanner Denial-of-service attack Dynamic Host Configuration Protocol
57	From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Theoretical computer science Mathematics Logic in computer science Proof theory Programming language semantics Metalogic Model theory Symbol Net Constructible universe Sequent Permutation
58	arXiv:1512.02325v5 [cs.CV] 29 DecSSD: Single Shot MultiBox Detector Wei Liu1 , Dragomir Anguelov2 , Dumitru Erhan3 , Christian Szegedy3 , Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-12-29 20:22:56 Computational neuroscience Artificial intelligence Computer storage devices Computer data storage Vision Non-volatile memory Solid-state drive Convolutional neural network Object detection Artificial neural network
59	Copyright by Roopsha Samanta 2013 The Dissertation Committee for Roopsha Samanta Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Theoretical computer science Mathematics Computer science Formal methods Debugging Turing Award Computer programming Formal verification Computing Algorithm
60	Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2018-10-16 07:48:38 Functional programming Software engineering Computer programming Computing Monad Arrow Functional reactive programming Strong monad Type class Combinatory logic Pure function

UPDATE