High-speed engineering of high-speed software D. J. Bernstein - PDF document

Feb 23, 2024 •328 likes •389 views

High-speed engineering of high-speed software D. J. Bernstein Traditional software engineering: Design programming environment to minimize programmer time. Environment is now constant. Write tons of software. Software is now constant. Try

High-speed engineering of high-speed software D. J. Bernstein
Traditional software engineering: Design programming environment to minimize programmer time. Environment is now constant. Write tons of software. Software is now constant. Try to improve the compiler to minimize CPU time. Oops, software doesn’t work!
Engineering correct software: Design programming environment to encourage verification, discourage bugs. Subject to that constraint, design programming environment to minimize programmer time. Environment is now constant. Write tons of software. Software is now constant. Try to improve the compiler to minimize CPU time. Oops, software is too slow!
Engineering high-speed software: Design programming environment to encourage verification, discourage bugs. Subject to that constraint, design programming environment to minimize CPU time. Subject to that constraint, design programming environment to minimize programmer time. Environment is now constant. Write software.

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

High-speed cryptography Do we care about speed? Daniel J. Bernstein Almost all software is

1 2 High-speed cryptography Do we care about speed? Daniel J. Bernstein Almost all software is University of Illinois at Chicago & much slower than it could be. Technische Universiteit Eindhoven Is software applied to much data? with

1.17k views • 115 slides

1 High Speed UK Connecting the Nation, Connecting the North: The Only Way is Woodhead High

1 High Speed UK Connecting the Nation, Connecting the North: The Only Way is Woodhead High Speed UK Connecting the Nation Who are we? Colin Elliff BSc CEng MICE Civil Engineering Principal, HSUK Quentin Macdonald

899 views • 85 slides

HIGH SPEED UK ..connecting the nation Colin Elliff BSc CEng MICE Civil Engineering Principal,

HIGH SPEED UK ..connecting the nation Colin Elliff BSc CEng MICE Civil Engineering Principal, HSUK www.highspeeduk.co.uk HIGH SPEED 2 HS2 original concept: The HS2 Y Fast links to London & Birmingham Heathrow spur

533 views • 31 slides

MINUTES OF ORAL EVIDENCE taken before the HIGH SPEED RAIL BILL COMMITTEE on the HIGH SPEED RAIL

MINUTES OF ORAL EVIDENCE taken before the HIGH SPEED RAIL BILL COMMITTEE on the HIGH SPEED RAIL (WEST MIDLANDS CREWE) BILL Monday 19 March 2018 (Afternoon) In Committee Room 5 PRESENT: James Duddridge (Chair) Sandy Martin Mrs Sheryll

954 views • 57 slides

Introduction of High speed line High speed line Japan International Consultants for

Introduction of High speed line High speed line Japan International Consultants for Transportation Co., Ltd. (JIC) Index Trend of the HSR Project HSR Project in The World Superiority of Introducing HSR Transport Needs

1.02k views • 25 slides

Is he ever going to quit? 1 High power, high speed and high linearity photodiode for

Is he ever going to quit? 1 High power, high speed and high linearity photodiode for NextGen-VLA antenna project Qinglong Li, Andreas Beling, Joe C. Campbell University of Virginia, Charlottesville, VA 22904 Outline High power photodiode

746 views • 25 slides

High speed CMOS image sensors Wim Wuyts Sr. Staff Applications Engineer Cypress Semiconductor

High speed CMOS image sensors Wim Wuyts Sr. Staff Applications Engineer Cypress Semiconductor Corporation Belgium Vision 2006 P E R F O R M Outline Introduction Architecture Analog high speed CIS Digital high speed CIS

593 views • 32 slides

High-speed Data Acquisition using the Linux Industrial IO framework Lars-Peter Clausen, Analog

High-speed Data Acquisition using the Linux Industrial IO framework Lars-Peter Clausen, Analog Devices What is High-Speed > ~100k samples per second Applications RF communication, Software Defined Radio, Direct RF Radar

487 views • 36 slides

Sean Graves PhD Visi-Trak Sensors Charlottesville VA High Speed/High Resolution Encoder

Sean Graves PhD Visi-Trak Sensors Charlottesville VA High Speed/High Resolution Encoder Interface for Overview New linear position/velocity sensor Non-contact High resolution High speed Based on proven

320 views • 27 slides

RTD-based High Speed and Low RTD-based High Speed and Low Power Integrated Circuits Power

RTD-based High Speed and Low RTD-based High Speed and Low Power Integrated Circuits Power Integrated Circuits 2009. 04. 27 Kwangseok Seo Seoul National University Outline Outline Introduction RTD/HEMT Integration Technology

369 views • 22 slides

High Speed Rail for Australia: Opportunities and Issues by Dale Budd Hunter Business Chamber

High Speed Rail for Australia: Opportunities and Issues by Dale Budd Hunter Business Chamber Newcastle, 7 December 2012 What is high speed rail? High speed rail refers to passenger trains travelling at 250 km/h or more, on purpose-built tracks.

354 views • 11 slides

High Speed Traffic Analysis for High-Speed Traffic Analysis for Security: Challenges &

High Speed Traffic Analysis for High-Speed Traffic Analysis for Security: Challenges & Approaches Security: Challenges & Approaches C-DAC Asia-Pacific Advanced Network 32 nd Meeting, India Habitat Centre, New Delhi APAN 32nd Meeting,

647 views • 28 slides

High-speed dispersing between two deinking loops: are there optimisation possibilities?

High-speed dispersing between two deinking loops: are there optimisation possibilities? Benjamin FABRY and Bruno CARRE Niagara Falls, September 2007 Guideline Introduction Theoretical aspects High-speed dispersing between two

464 views • 44 slides

HIGH SPEED HIGH AVAILABILITY Software Defined Networking DATA SWITCHING AGGREGATED SWITCHING

HIGH SPEED HIGH AVAILABILITY Software Defined Networking DATA SWITCHING AGGREGATED SWITCHING With the arrival new cloud based applications; user demands for faster & more sophisticated data requirements as well as arrival of 5G

623 views • 9 slides

Chapter: 9 9 9 9 Chapter: Chapter: Chapter: High-Speed Downlink High-Speed Downlink Packet

3G Evolution 3G Evolution 3G Evolution 3G Evolution Chapter: 9 9 9 9 Chapter: Chapter: Chapter: High-Speed Downlink High-Speed Downlink Packet Access Deepak Dasalukunte Department of Electrical and Information Technology 16-Apr-2009

393 views • 25 slides

Using Low-Speed Links for High-Speed Wireless Data Delivery Henning Schulzrinne Dept. of

Using Low-Speed Links for High-Speed Wireless Data Delivery Henning Schulzrinne Dept. of Computer Science Columbia University (with Stelios Sidiroglou and Maria Papadopouli) ORBIT Research Review - May 13, 2004 1 Overview Disconnected

226 views • 22 slides

Software Requirements Engineering for Sustainability Debra Richardson* with Bill Tomlinson*

Software Requirements Engineering for Sustainability Debra Richardson* with Bill Tomlinson* and Birgit Penzenstadler** * UCIrvine, ** TUMnchen Software Engineering has been Underutilized for Sustainability ICT has contributed

165 views • 16 slides

CS 294-73 Software Engineering for Scientific Computing

CS 294-73 Software Engineering for Scientific Computing http://www.eecs.berkeley.edu/~colella/CS294Fall2017/ colella@eecs.berkeley.edu pcolella@lbl.gov Lecture 1: Introduction Grading 5-6

574 views • 35 slides

COMP 354 Introduction to Software Engineering Greg Butler Computer Science and Software

COMP 354 Introduction to Software Engineering Greg Butler Computer Science and Software Engineering Concordia University, Montreal, Canada Office: EV 3.219 Email: gregb@cs.concordia.ca Winter 2018 Course Web Site :

201 views • 8 slides

COSC 340: Software Engineering Introduction Michael Jantz (adapted from slides by Ravi Sethi,

COSC 340: Software Engineering Introduction Michael Jantz (adapted from slides by Ravi Sethi, University of Arizona) COSC 340: Software Engineering 1 What is Software Engineering? Joint NATO workshop met in 1968 to discuss the s oftware

278 views • 9 slides

What is Software Architecture and Why It is important Ying Shen SSE, Tongji University Software

1 1 What is Software Architecture and Why It is important Ying Shen SSE, Tongji University Software Architecture, Spring 2015 School of Software Engineering School of Software Engineering 2 2 Architecting a dog house Can be built by one

1.03k views • 77 slides

Eclipse Software Engineering with an Integrated Development Environment (IDE) Markus Scheidgen

Eclipse Software Engineering with an Integrated Development Environment (IDE) Markus Scheidgen Friday, 26. October 2012 Agenda What is eclipse and why bother? - An introduction to eclipse. eclipse fundamentals (Java) development

989 views • 41 slides

Benjamin J. Deaver Advisor Dr. LiGuo Huang Department of Computer Science and Engineering

Benjamin J. Deaver Advisor Dr. LiGuo Huang Department of Computer Science and Engineering Southern Methodist University The Requirements Traceability Matrix (RTM) is utilized to: Link deliverables to requirements Identify Overlap

504 views • 22 slides

A Comfortable TestPlayer for Analyzing Statistical Usage Testing Strategies Winfried Dulz

A Comfortable TestPlayer for Analyzing Statistical Usage Testing Strategies Winfried Dulz (Department of Computer Science 7, University of Erlangen-Nuremberg, Germany) Outline Motivation Short History of Statistical Usage Testing

702 views • 41 slides