University of Technology

Results: 48361



#Item
1Computing / Internet / Content-control software / Internet privacy / Information and communications technology / Computer networking / Internet censorship / Privacy / Great Firewall / OpenDNS / Public recursive name server / Google Public DNS

The Anatomy of Web Censorship in Pakistan Zubair Nabi Information Technology University, Pakistan Abstract

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2013-10-25 08:52:50
2Electromagnetism / Energy / Electrical engineering / Rechargeable batteries / Analog circuits / Battery charging / Energy conversion / Electric battery / Electric power / Battery charger / Lithium-ion battery / Voltage

Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap

Add to Reading List

Source URL: wirelesslab.sjtu.edu.cn

Language: English - Date: 2015-04-14 12:02:14
3Reference / Information science / Mathematical analysis / Google Search / PageRank / Reputation management / Search engine optimization / Knowledge / Citation network / Citation / Cai Gao / Pi

PNCOIRank: Evaluating the Impact of Scholarly Articles with Positive and Negative Citations Xiaomei Bai, Jun Zhang, Hai Cui, Zhaolong Ning and Feng Xia School of Software, Dalian University of Technology, Dalian,

Add to Reading List

Source URL: gdac.uqam.ca

Language: English - Date: 2017-10-04 01:00:13
4Computing / Software engineering / Memory management / Computer programming / Pointer / Garbage collection / Heap / C dynamic memory allocation / Region-based memory management / Go / Garbage / Sort

A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2017-07-03 06:09:00
5Provinces of Iran / Sharif University of Technology / Tehran Province / Nejad / Mohammad Ghodsi / Tehran / SUT

Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad

Add to Reading List

Source URL: ce.sharif.edu

Language: English - Date: 2018-07-11 05:37:17
6Computing / Open formats / RSS / Computer file formats / Data types / Cloud computing / Atom / News aggregator / Pointer swizzling / Pointer / Computer data storage / Cloudlet

SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China

Add to Reading List

Source URL: apsys11.ucsd.edu

Language: English - Date: 2011-07-04 13:02:25
7Cryptography / Public-key cryptography / Ciphertext indistinguishability / ID-based encryption / Chosen-plaintext attack / RSA / Ciphertext / Proxy re-encryption / Homomorphic encryption / XTR / Key encapsulation / Semantic security

Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange David Derler1 , Kai Gellert2 , Tibor Jager2 , Daniel Slamanig3 , and Christoph Striecks3 1 Graz University of Technology

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2018-03-27 10:44:26
8Finite automata / Machine learning / Artificial intelligence / Dana Angluin / Finite-state machine / Active learning / Theoretical computer science / Formal languages / Learning / Model checking / Cellular automata / Induction of regular languages

Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany

Add to Reading List

Source URL: www.falkhowar.de

Language: English - Date: 2018-09-30 08:43:02
9Mathematical logic / Theoretical computer science / Automated theorem proving / Mathematics / Proof theory / Logic in computer science / Formal methods / Automated reasoning / Proof assistant / Proof complexity / Reasoning system / Isabelle

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Add to Reading List

Source URL: www.logic.at

Language: English - Date: 2018-07-19 05:32:19
10Computer hardware / Computer architecture / Computing / Side-channel attacks / Computer security / X86 architecture / Central processing unit / Computer memory / Spectre / Microarchitecture / CPU cache / Meltdown

NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology

Add to Reading List

Source URL: gruss.cc

Language: English - Date: 2018-07-26 17:58:17
UPDATE