Design - PDFSEARCH.IO - Document Search Engine

Design
Results: 199420

#	Item
71	Author manuscript, published in "WEEDWorkshop on Energy-Efficient Design (2010)" The Search for Energy-Efficient Building Blocks for the Data Center inria, versionJun 2010 Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:48 Computing Computer architecture Computer hardware Microprocessors Parallel computing Benchmark Opteron Advanced Micro Devices Multi-core processor Intel Atom Central processing unit Intel
72	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-04 14:48:40 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
73	Payment Network Design with Fees Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland {zetavar,gjanssen,yuwang,wattenhofer}@ethz.ch Abstract. Payment channels are the most promine Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-08-17 10:43:16 Mathematics Graph theory Computational complexity theory Network theory Edsger W. Dijkstra Computational problems Combinatorial optimization Shortest path problem Dynamic programming Graph Optimization problem Bitcoin
74	RODES: A Robust-Design Synthesis Tool for Probabilistic Systems? ˇ ska2 , Simos Gerasimou1 , Marta Kwiatkowska3 , and Radu Calinescu1 , Milan Ceˇ Nicola Paoletti4 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-09-12 07:46:02 Mathematical optimization Systems science Engineering Analysis Vilfredo Pareto Design of experiments Systems engineering Engineering statistics Pareto efficiency Optimal design PRISM model checker Reliability engineering
75	OctoberData Design Challenges and Opportunities for NYC BetaNYC Community Boards Add to Reading List Source URL: beta.nyc Language: English - Date: 2018-10-11 12:04:22 Government of New York City Borough president Community boards of New York City National Telecommunications and Information Administration Participatory budgeting Business process management Economy Government United States
76	Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:33:49 Computing Software quality Engineering Reliability engineering Software engineering Design for X Materials science Survival analysis Fault tolerance Redundancy Software design Modular programming
77	Functional Programming for Compiling and Decompiling Computer-Aided Design Add to Reading List Source URL: incarnate.uwplse.org Language: English - Date: 2018-10-25 23:04:09 3D computer graphics Computer graphics Computer-aided engineering Polygon mesh STL Constructive solid geometry 3D modeling Mesh Geometry processing
78	Lina Vincent Sunish Associate Curator India Website: www.artport-project.org Lina Vincent Sunish is an art historian and curator with over 15 years experience in research, design, curatio Add to Reading List Source URL: artport-project.org Language: English - Date: 2018-01-11 12:28:37 Waswo X. Waswo National Gallery of Modern Art Bangalore NGMA Goa
79	Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’18) Errata Slip In the paper “Exploiting a Natural Network Effect for Scalable, Fine-grained Clock Synchronization” by Add to Reading List Source URL: www.usenix.org Language: English - Date: 2018-04-09 11:33:55 Synchronization Clock synchronization Clocks Granularity Fairness measure Clock signal
80	The TAPR Open Hardware License Version 1.0 (May 25, 2007) Copyright 2007 TAPR – http://www.tapr.org/OHL PREAMBLE Open Hardware is a thing – a physical artifact, either electrical or mechanical – whose design inform Add to Reading List Source URL: www.tapr.org Language: English - Date: 2007-05-25 16:46:37 TAPR Open Hardware License Free and open-source software licenses Copyleft Open content GNU Project Open-source hardware Technical communication Free software GNU General Public License Free content Proprietary software Open Hardware License