CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
81	Collaborative Metric Learning Cheng-Kang Hsieh‡ , Longqi Yang† ,Yin Cui† , Tsung-Yi Lin† , Serge Belongie† , Deborah Estrin† ‡ ‡ UCLA; † Cornell Tech Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2018-10-25 09:08:10
82	CHAOS: Composable Highly Accurate OS-based Power Models John D. Davis†, Suzanne Rivoire‡, Moises Goldszmidt†, Ehsan K. Ardestani§ † Microsoft Research, Silicon Valley ‡ Dept. of Computer Science, Sonoma State Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:34 Opteron Central processing unit Parallel computing Run-time estimation of system and sub-system level power consumption
83	COSC 544 Probabilistic Proof SystemsA First Succinct Argument Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-15 19:55:30 Cryptography Complexity classes Computational complexity theory NP IP Commitment scheme Soundness P Certificate Cryptographic hash function Interactive proof system Non-interactive zero-knowledge proof
84	1 From Theory to Practice: Efficiently Checking BGP Configurations for Guaranteed Convergence Luca Cittadini Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02
85	Power Signatures of HighPerformance Computing Workloads Jacob Combs Jolie Nazor Rachelle Thysell Fabian Santiago Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:29 Hierarchical clustering Network analysis K-means clustering Dynamic time warping DBSCAN Applied mathematics Mathematics Theoretical computer science
86	Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Constraint programming Software engineering Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Solver Boolean satisfiability problem DPLL algorithm Constraint satisfaction problem
87	c Copyright 2014 Michael F. Ringenburg Dynamic Analyses of Result Quality in Energy-Aware Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-22 13:27:08 Software optimization Computing Approximation Profiling Instrumentation Approximate computing Memoization Simulation
88	COSC 544 Probabilistic Proof SystemsThe Sum-Check Protocol Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 12:17:52 Mathematics Computational complexity theory Algebra IP Polynomials Interactive proof system NP Cryptography Splitting circle method
89	Systematizing Genome Privacy Research: A Privacy-Enhancing Technologies Perspective∗ Alexandros Mittos1 , Bradley Malin2 , Emiliano De Cristofaro1 arXiv:1712.02193v2 [cs.CR] 17 Aug 2018 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-08-19 20:26:50 Biology Genetics Genomics Molecular biology Biotechnology DNA Bioinformatics Whole genome sequencing Genome-wide association study Single-nucleotide polymorphism Human genome Privacy
90	A Comparison of High-Level Full-System Power Models Suzanne Rivoire Sonoma State University Parthasarathy Ranganathan Hewlett-Packard Labs Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:55 Concurrent computing Computing Parallel computing Computer architecture Central processing unit Flynn's taxonomy Benchmark Computer performance SPECint Multi-core processor Supercomputer Standard Performance Evaluation Corporation

UPDATE