Electrical engineering

Results: 37205



#Item
1

Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-04-03 15:58:45
    2Computer network security / Cyberwarfare / Computing / Security engineering / Honeypot / Computer security / Virtual machine / VMware / Internet privacy / Honeyd / Client honeypot

    Imperial College London Department of Electrical and Electronic Engineering MEng Individual Project Project Title:

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    Language: English - Date: 2016-01-21 09:17:57
    3Computing / Technology / California / EMC Corporation / VMware / Embedded system / Synopsys / USENIX Annual Technical Conference / Debugging / Intel / Software Guard Extensions / Edouard Bugnion

    Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street

    Add to Reading List

    Source URL: web.eecs.umich.edu

    Language: English - Date: 2018-10-23 14:59:27
    4Mathematical logic / Theoretical computer science / Mathematics / Formal methods / Boolean algebra / Temporal logic / Edsger W. Dijkstra / Predicate transformer semantics / Model theory / Hoare logic / True quantified Boolean formula / Linear temporal logic

    Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

    Add to Reading List

    Source URL: www.cs.purdue.edu

    Language: English - Date: 2016-07-15 23:00:36
    5Circuit complexity / NC / Mathematics / Theoretical computer science / Numerical software / Lemmas / Numerical linear algebra

    Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

    Add to Reading List

    Source URL: publish.illinois.edu

    Language: English - Date: 2016-01-22 19:21:52
    6Computing / Software / Computer architecture / Smartphones / Cloud clients / Personal computing / Android / Benchmark / Google Play / HERE WeGo / IOS / BlackBerry Priv

    Towards Measuring Real-World Performance of Android Devices Pascal Bissig, Gino Brunner, Florian Gubler, Roger Wattenhofer, Andreas Zingg Department of Electrical Engineering and Information Technology ETH Zurich, Switze

    Add to Reading List

    Source URL: www.tik.ee.ethz.ch

    Language: English - Date: 2018-09-20 07:32:16
    7Coding theory / Error detection and correction / ReedSolomon error correction / NC / Erasure code / RAID / Discrete mathematics / Mathematics / Theoretical computer science

    RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa

    Add to Reading List

    Source URL: precision.moscito.org

    Language: English - Date: 2013-05-26 08:06:24
    8Theoretical computer science / Computer science / Formal methods / Computing / Logic in computer science / European Joint Conferences on Theory and Practice of Software / Computer Aided Verification / Software verification / Formal verification / Edmund M. Clarke / Satisfiability modulo theories / Verification

    Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada

    Add to Reading List

    Source URL: arieg.bitbucket.io

    Language: English - Date: 2018-10-19 18:15:18
    9Music / Computer music / Learning / Artificial intelligence / Unsupervised learning / Machine learning / Cognitive science / Generative adversarial network / Generative model / Artificial neural network / Synthesizer / Algorithmic composition

    Symbolic Music Genre Transfer with CycleGAN Gino Brunner, Yuyi Wang, Roger Wattenhofer and Sumu Zhao* Department of Information Technology and Electrical Engineering ETH Z¨urich Switzerland brunnegi,yuwang,wattenhofer,s

    Add to Reading List

    Source URL: www.tik.ee.ethz.ch

    Language: English - Date: 2018-09-17 07:11:23
    10Computer architecture / Concurrent computing / Computing / Parallel computing / Central processing unit / Flynn's taxonomy / Microprocessors / Superscalar processor / SIMD / Vector processor / Scalar processor / Automatic vectorization

    Vector Lane Threading Suzanne Rivoire, Rebecca Schultz, Tomofumi Okuda†, Christos Kozyrakis Electrical Engineering Department Stanford University {rivoire,rschultz,tokuda,kozyraki}@stanford.edu 8

    Add to Reading List

    Source URL: rivoire.cs.sonoma.edu

    Language: English - Date: 2017-05-29 18:44:50
    UPDATE