School of Computer Science - PDFSEARCH.IO - Document Search Engine

School of Computer Science
Results: 3584

#	Item
1	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-09-19 11:02:58 I1 Garbage collection
2	Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University Add to Reading List Source URL: tlt2017.di.unito.it Language: English - Date: 2017-10-04 12:33:27 Theoretical computer science Logic in computer science Programming language semantics Operational semantics Semantics International Colloquium on Automata Languages and Programming Nominal Process calculi
3	Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-22 09:34:32 Mathematics Temporal logic Mathematical analysis Mathematical logic Formal languages Model theory Generalized functions Computation tree logic Logic in computer science Linear temporal logic Interpretation IP
4	Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2018-07-07 12:35:35 Mathematics Heuristics Edsger W. Dijkstra Automated planning and scheduling Mathematical optimization Shortest path problem Admissible heuristic Search algorithm Methodology Algorithm Cognition
5	Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2 Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:02:56 Wireless networking Computing Information and communications technology Computer networking Technology Network protocols Data transmission Internet of things Vehicular ad hoc network Wireless ad hoc network Mobile ad hoc network Network packet
6	The Raymond and Beverly Sackler Faculty of Exact Sciences The Blavatnik School of Computer Science New Methods for Side Channel Cryptanalysis Thesis submitted in partial fulfilment of the requirements towards the M.Sc. Add to Reading List Source URL: www.ofirweisse.com Language: English - Date: 2018-10-17 09:19:20 Cryptography Side-channel attacks Block ciphers Advanced Encryption Standard Power analysis Cryptanalysis International Data Encryption Algorithm
7	McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2018-03-15 14:14:31 Software Computing Web programming Web browsers Mozilla Cloud clients Portable software JavaScript Asm.js Firefox Microsoft Edge Google Chrome
8	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
9	SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-04-10 06:51:54 Security engineering Electromagnetism Computer engineering Computer science Electrical engineering Electronic engineering Computer security Computing Carnegie Mellon School of Computer Science University of Colombo School of Computing
10	The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 BitTorrent Peer-to-peer file sharing File sharing Computing Comparison of BitTorrent clients Torrent file The Pirate Bay Copyright infringement Peer-to-peer Peer exchange Torrent poisoning