Edu - PDFSEARCH.IO - Document Search Engine

Edu
Results: 1439644

#	Item
421	Teaching Programming Languages by Experimental and Adversarial Thinking∗ Justin Pombrio1 , Shriram Krishnamurthi2 , and Kathi Fisler3 1 2 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2017-05-02 21:46:11 Software engineering Computing Computer programming Functional languages Programming languages Object-oriented programming languages Cross-platform software Scripting languages Programming language Assignment Programming paradigm Semantics
422	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture System software Disk file systems Data management Inode File system Journaling file system Log-structured File System Ext3 Mkfs Refinement Ext4
423	PDF Document Add to Reading List Source URL: idss.mit.edu Language: English - Date: 2017-10-04 16:13:09 Education Munther A. Dahleh Graduate school Massachusetts Institute of Technology Postgraduate education IDS International student Doctor of Engineering Bachelor's degree
424	EECS 388 Intro to Computer Security October 14, 2016 Project 3: Network Security Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2016-11-21 18:50:22 Computing Software System software Computer network security Wireless networking IEEE 802.11 Web scraping Wireshark Pcap Aircrack-ng Packet analyzer Transmission Control Protocol
425	IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOL. 64, NO. 8, AUGUSTReliability and Temporality Optimization for Multiple Coexisting WirelessHART Networks Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2017-12-01 00:35:35 Graph theory Mathematics Computational complexity theory Network theory NP-complete problems Graph coloring Connectivity Shortest path problem Routing algorithms
426	The hypothesis suggests that remaining disagreements should be expected ones Add to Reading List Source URL: mason.gmu.edu Language: English - Date: 2014-01-16 15:23:02 Mathematics Game theory Cognitive science Epistemology Belief Truth Bayesian probability Agree to disagree Artificial intelligence Common knowledge Aumann's agreement theorem
427	Chemistry_BS_Biochemistry.pdf Add to Reading List Source URL: catalog.southernct.edu Language: English - Date: 2018-10-06 18:05:35 Che Films Large ElectronPositron Collider
428	Formale Systeme II: Theorie Dynamic Logic: Uninterpreted and Interpreted First Order DL SS 2016 Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-05-03 10:44:18 Logic Mathematical logic Model theory Mathematics Modal logic Non-classical logic Temporal logic Kripke structure Symbol Kripke semantics Interpretation Functional predicate
429	5 Parallel BLAS Performance Report Jakub Kurzak Mark Gates Asim YarKhan Add to Reading List Source URL: www.icl.utk.edu Language: English - Date: 2018-04-10 10:15:06 Numerical software Numerical analysis Numerical linear algebra Mathematical software Software Basic Linear Algebra Subprograms PBLAS LAPACK Netlib Lis Linear algebra Exascale computing
430	Rollback-Recovery for Middleboxes Justine Sherry∗ Peter Xiang Gao∗ Soumya Basu∗ Aurojit Panda∗ Arvind Krishnamurthy• Christian Maciocco† Maziar Manesh† João Martins/ Sylvia Ratnasamy∗ Luigi Rizzo‡ Scot Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2015-07-16 16:30:14 Computing Concurrency control Networking hardware Information and communications technology Concurrent computing Computer networking Computer network security Middlebox Monitor Packet processing Data Plane Development Kit Transmission Control Protocol

UPDATE