School of Computer Science

Results: 3584



#Item
1I1 / Garbage collection

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
2Theoretical computer science / Logic in computer science / Programming language semantics / Operational semantics / Semantics / International Colloquium on Automata /  Languages and Programming / Nominal / Process calculi

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
3Mathematics / Temporal logic / Mathematical analysis / Mathematical logic / Formal languages / Model theory / Generalized functions / Computation tree logic / Logic in computer science / Linear temporal logic / Interpretation / IP

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
4Mathematics / Heuristics / Edsger W. Dijkstra / Automated planning and scheduling / Mathematical optimization / Shortest path problem / Admissible heuristic / Search algorithm / Methodology / Algorithm / Cognition

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
5Wireless 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

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
6Cryptography / Side-channel attacks / Block ciphers / Advanced Encryption Standard / Power analysis / Cryptanalysis / International Data Encryption Algorithm

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
7Software / Computing / Web programming / Web browsers / Mozilla / Cloud clients / Portable software / JavaScript / Asm.js / Firefox / Microsoft Edge / Google Chrome

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
8Software / Automated theorem proving / Theoretical computer science / Formal methods / TPTP / Proof assistant / Frama-C / Theorem prover / E theorem prover / Theorem / Isabelle

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
9Security 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

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
10BitTorrent / 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

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
UPDATE