# Register now to access 7 million high quality study materials (What's Course Hero?) Course Hero is the premier provider of high quality online educational resources. With millions of study documents, online tutors, digital flashcards and free courseware, Course Hero is helping students learn more efficiently and effectively. Whether you're interested in exploring new subjects or mastering key topics for your next exam, Course Hero has the tools you need to achieve your goals.

17 Pages

### EWD340

Course: EWD 03, Fall 2009
School: University of Texas
Rating:

#### Document Preview

Notice The Copyright following manuscript EWD 340: The humble programmer was published Commun. in ACM 15 (1972), 10: 859866. It is reproduced here by permission.

Register Now

#### Unformatted Document Excerpt

Coursehero >> Texas >> University of Texas >> EWD 03

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Notice The Copyright following manuscript EWD 340: The humble programmer was published Commun. in ACM 15 (1972), 10: 859866. It is reproduced here by permission.
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Harvey Mudd College - LATEX - 209
% UCTHESIS DOCUMENT STYLE - Released 10 Feb 93. % for LaTeX version 2.09 % % % % * * FONTS * *\lineskip 1pt % \lineskip is 1pt for all font sizes. \normallineskip 1pt \def\baselinestretch{1.37} % % % % % % % % % % % % % % % % % % Each size-changing
UCSD - CSE - 223
How to Assign Votes in a Distributed SystemHECTOR GARCIA-MOLINA AND DANIEL BARBARAPrinceton University, Princeton, ,New Jersey Abstract. In a distributed system, one strategy for achieving mutual exclusion of groups of nodes without communication
Harvey Mudd College - KTO - 8
* Kto8 DOCUMENTATION *OVERVIEWThe &quot;Kto8&quot; program converts the strangely encoded text filesoutput by D. Knuth's &quot;TeX&quot; program (v 3.x) into true 8-bit text files.This is helpful when text files output by TeX are to be editedvis
Harvey Mudd College - OS - 2
Upload Information Template for ftp.ctan.org= Archive Name: jpeg2ps2.zip Short Description: jpeg to postscript converter, version 1.8 Long Description: OS/2 port of the jpeg to postscript converter
Harvey Mudd College - LATEX - 209
% UCTHESIS DOCUMENT STYLE - Released 10 Feb 93. % for LaTeX version 2.09 % % % % * * FONTS * *\lineskip 1pt % \lineskip is 1pt for all font sizes. \normallineskip 1pt \def\baselinestretch{1.37} % % % % % % % % % % % % % % % % % % Each size-changing
Cornell - ENGRD - 203
Lab #2 - Two Degrees-of-Freedom OscillatorLast Updated: February 13, 2009 INTRODUCTION The system illustrated in Figure (2.1) has two degrees-of-freedom. This means that two is the minimum number of coordinates necessary to uniquely specify the posi
Penn State - SSA - 5024
Penn State - ARP - 5047
Penn State - CSE - 260
GENERAL FORMS OF SET THEORETIC PROOFSUseful DefinitionsFor A, B subsets of universal set U: x A B x A B xAB x Ac x A x B x A x B x A x B x ASubsets: A BTo Prove: A BSuppose x A. [x is a particular but arbitrarily chosen element
Penn State - CSE - 300
GENERAL FORMS OF SET THEORETIC PROOFSUseful DefinitionsFor A, B subsets of universal set U: x A B x A B xAB x Ac x A x B x A x B x A x B x ASubsets: A BTo Prove: A BSuppose x A. [x is a particular but arbitrarily chosen element
Penn State - CSE - 103
IntrotoClassesvia theC+StringClassNovember18,2002 CSE103PennStateUniversityOnlineathttp:/www.personal.psu.edu/djh300/cse103/string.ppt PreparedbyDougHoganAnnouncements LatedropdeadlineisWednesday,11/20 Reviewscores IfyoudonotearnaCorbetter,you
Cornell - WEB - 3360
Introduction to Algebraic Coding TheoryWith Gap Fall 2006Sarah Spence Adams January 11, 2008 The rst versions of this book were written in Fall 2001 and June 2002 at Cornell University, respectively supported by an NSF VIGRE Grant and a Departme
Penn State - NMK - 5003
Georgia Tech - CHEM - 780
List of useful books in the Physical Chemistry LibraryMark Brouard, Reaction Dynamics, (Oxford Science Publications, Oxford, 1998) G. G. Hammes, Principles of Chemical Kinetics, (Academic Press, New York, 1978). R. E. Weston, Jr. and H. A. Schwarz,
Georgia Tech - CS - 7470
Life Patterns: structure from wearable sensorsby Brian Patrick ClarksonB.Sc., Mathematics, MIT 1997 B.Sc., Electrical Engineering and Computer Science, MIT 1997 M.Eng., Electrical Engineering and Computer Science, MIT 1999Submitted to the Progra
University of Florida - OCP - 6050
Western Boundary Currents In previous chapters you have learned about the processes that cause the intensification of currents along the western boundaries of the oceans. In this chapter we will examine the descriptive physical oceanography of the ma
University of Florida - CAP - 5510
MethodsWhole-Genome Sequence Assembly for Mammalian Genomes: Arachne 2David B. Jaffe,1,2 Jonathan Butler,1 Sante Gnerre,1 Evan Mauceli,1 Kerstin Lindblad-Toh,1 Jill P. Mesirov,1 Michael C. Zody,1 and Eric S. Lander1,3Whitehead Institute/MIT Cente
Michigan State University - AST - 802
IDL Quick ReferenceIDL Version 6.0 July, 2003 EditionCopyright Research Systems, Inc. All Rights Reserved0703IDL60QRRestricted Rights NoticeThe IDL, ION Script, and ION Java software programs and the accompanying procedures, functions, and d
Cornell - WEB - 112
2.de.1 Solution(A) Consider this design for the methanol synthesis process.H2O CH4 CO H2 CO H2 1 atm purge CO H2 liquid-gas separator 50C CH3OHCH4 H2OCO H2 300 atm methanol synthesis reactor 300C, 300 atmsteam reforming reactor 900C CO H2 CH4
Cornell - WEB - 112
3.de.2 SolutionThe design statement yields two observations and conclusions: A cannot be separated from P. Therefore, to produce pure P, one must use a type-2 reactor, which converts 100% of A. However, a type-2 reactor also produces the by-product
Cornell - ENTOMOLOGY - 0115
Chelsea ClarkeOverview of Migration and Migratory AnimalsAnimals can migrate based on seasonal changes or stages within their lifecycles. They migrate to escape colder weather, to find food, or to reproduce. Migration can be seasonal, as in spring
Cornell - CS - 1110
CS100J1. x= 0;Fall 2006 Sample answers for prelim 3GUI: 1 n 2 cp null a1for (int k= b.length; 0 != k; k= k 1) { if (b[k1] = b[k+x1]) x= x + 1; }} 2. /* = index of the seller in deal[h.k] with best deal. Precondition: d[h.k] is not empty*/ pri
Cornell - CS - 1110
CS 100J Prelim 2 Spring 2007 Answers Question 1. (a) A loop invariant is a true-false statement that is true before and after each iteration of the loop. (b) int m= f(0); / invariant: m = maximum value of f(i) for i in the range 0.k1 for (int k= 1; k
Minnesota - CSCI - 5523
WEKA Explorer User Guide for Version 3-4Richard Kirkby Eibe Frank June 1, 2007c 2002-2007 University of WaikatoContents1 Launching WEKA 2 The WEKA Explorer Section Tabs . . . . . . Status Box . . . . . . . Log Button . . . . . . . WEKA Status I
Dallas - CS - 6378
A Distributed Mutual Exclusion AlgorithmICHIRO SUZUKI and TADAO KASAMI Osaka University, JapanA distributed algorithm is presented that realizes mutual exclusion among N nodes in a computer network. The algorithm requires at most N message exchang
CSU Northridge - MATH - 1051
W&quot; I P s $7 &amp;$ 7 G @ B @$Q B$ 'mAeSAeP(F6vA%# U AIAS@ B &amp; G B$B @ 7 Q B B G @ B$ @ Q$G &amp; B 7$ G 7 &amp;$U P(vI&quot;evVpxmb80Iep4P(VbA&quot;PAP()F8SI9(AeSAe7 )V i r u uw w w u n l wfy v XXWx Purdue - LATEX - 209 % % % % %tape document style for LaTeX 2.09 podar@sbcs (Sunil Podar) June 20,1986 Dept. of Applied Math., SUNY at Stony Brook You may use this file for whatever purpose you wish. Please leave this notice, identifying original author, intact.\type Ithaca College - PH - 174 Physics 174 Exercise 13Due 16 April Orbital Resonances9 April, 2007 Name: _ Table: _1. The Galilean Satellites Io, Europa, and Ganymede all show evidence of geologic activity (in the case of Io, it is pretty obvious). This activity has been tied Drexel - MEM - 6025 DAQ6023E/6024E/6025E User ManualMultifunction I/O Devices for PCI, PXI , CompactPCI, and PCMCIA Bus Computers6023E/6024E/6025E User ManualDecember 2000 Edition Part Number 322072C-01Support Worldwide Technical Support and Product Information n Wisconsin - ECON - 302 The Regional Economist april 2006nwww.stlouisfed.orgHow Dangerous Is the U.S. Current Account Deficit?By Cletus C. Coughlin, Michael R. Pakko and William Poolein recent years, the u.s. external deficit has attracted considerable attention fro Dickinson State - I - 386 Sheet1 Novell Client Multiple Client Install Login Script 11/13/01 Important: Read this sample script in Notepad or WordPad to accommodate the log line lengths. PurposeIf you plan to install the Novell Client software on multiple workstations, you Wayne State University - AM - 3429 A Reliable and Secure Connection Migration Mechanism for Mobile AgentsXiliang Zhong, Cheng-Zhong Xu, and Haiying Shen Department of Electrical &amp; Computer Engg. Wayne State University, Detroit, Michigan 48202 {xlzhong, czxu, shy}@wayne.edu AbstractC SUNY Buffalo - BIO - 405 344ReviewTRENDS in Cell BiologyVol.13 No.7 July 2003Functional genomics and proteomics: charting a multidimensional map of the yeast cellqGary D. Bader1, Adrian Heilbut2, Brenda Andrews3, Mike Tyers3,4, Timothy Hughes3,5 and Charles Boone3,5 RIT - EECC - 550 CA P P E N D I XMapping Control to HardwareA custom format such as this is slave to the architecture of the hardware and the instruction set it serves. The format must strike a proper compromise between ROM size, ROM-output decoding, circuitry si CSU Channel Islands - P - 113 Supplement14-AThe Hartree ApproximationThe energy eigenvalue problem for an atom with Z electrons has the formZ i 1p2 i 2meZe2 40ri i j j4e2 0 rirj(r1, r2, . . . , rZ) E (r1, r2, . . . , rZ)(14A-1)and is a partial differential CSU Channel Islands - P - 113 Supplement2-AThe Fourier Integral and Delta FunctionsConsider a function f(x) that is periodic, with period 2L, so that f(x) f(x 2L) (2A-1)Such a function can be expanded in a Fourier series in the interval ( L, L), and the series has the form CSU Channel Islands - P - 113 Supplement1-AEinsteins Approach to Plancks LawIn 1917 Albert Einstein wrote a remarkable paper in which he used classical statistical mechanics and elements of the old Bohr theory to derive the Planck distribution and to relate spontaneous emiss Stanford - EE - 380 Systems and Technology GroupCell today and tomorrowH. Peter Hofstee, Ph. D. Cell Chief Scientist and Chief Architect, Cell Synergistic Processor IBM Systems and Technology Group SCEI/Sony Toshiba IBM (STI) Design Center Austin, Texas 2005 IBM Co Penn State - STAT - 512 Statistics 512Final ExamSpring 2002Statistics 512 Final ExamApril 29 - May 1, 2002This is a take home exam. The following rules apply. 1. You may use any textbook, including textbooks on the Web. 2. You may use any statistical software. 3. A Penn State - JKB - 207 Cornell - CS - 100 Explanations are often given in the comments. Read the comments carefully.Below are some important ideas for developing algoithms. They may make more sense after you read/try the review questions. I put them up front to makesure that you see th Mich Tech - EE - 3301 Orcad Component Information System Quick ReferenceShortcut keys CIS toolbars Command mapping from CIS v7.20 to CIS Release 9Cadence PCB Systems Division (PSD) offices PSD main office (Portland) PSD Irvine office PSD Japan office PSD UK office PSD University of Illinois, Urbana Champaign - ECE - 390 NetLib: NetBIOS Library Calls- John Lockwood, lockwood@ipoint.vlsi.uiuc.edu Department of Electrical and Computer Engineering University of Illinois at Urbana/Champaign Version 1.2, March 1999Purpose- General purpose ASM network librar Washington - PHYS - 334 ASU - MAT - 274 F ggfY(zgg(@Y9 gfYic@Y( D 9$Y ( u y G z v y z E 7 5 q 4 o X f ! &quot;YiV (e {( f b S gyT f f(YPi f b S i ' k T  ' gfYic@Y(@\$Y g u z v y z 97 5 q 4 h  b T &quot; #! YWY3&quot;T iS dY(ig&quot;Pi f b S i ' C F C iciv g Y(g
ASU - MAT - 274
MAT 275Parachute WorksheetThe purpose of this worksheet is to discuss the rst order dierential equation k dv = g v (1) dt m Suppose the above equation describes the fall of a skydiver who jumps out of an airplane at the altitude of 2000m. Assume
ASU - CET - 459
CET 458/598Fall 2000Lecture NotesChapter 1 IntroductionSection 1.1 mostly terminology Connectivity, scale, link, node, point-to-point, multiple-access, switched network (circuit vs packet switched, similarities to telephone system and snail-ma
ASU - CET - 459
CET 458/598Graph TheoryFall 2000graph - a set of nodes (vertices) and a set of arcs (edge, link, line) connecting the nodes adjacent nodes - if an arc connects them directed or undirected arc - if information only flows in direction of arrow de
Alaska Anch - GEOL - 301
earth sciencethe Origin of theand L Under seatheThe deep basins under the oceans are carpeted with lava that spewed from submarine volcanoes and solidified. Scientists have solved the mystery of how, precisely, all that lava reaches the seaflo
CSU Northridge - MLM - 85331
Midwestern State University - EM - 4284
4-H LEADER GUIDECAT PHYSIOLOGYUNIT 3COOPERATIVE EXTENSIONEM4284CONTENTSLesson Questions 1: Introductory Lesson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2: Vision, Hearing, Respiratory System . . . . . . . . . . . . .
Washington University in St. Louis - CSE - 306
Gran's Guide to SVGA Programming(640 x 480 x 256 colors)-(For more information on all SVGA modes, see: http:/www.osha.igs.net/~dandelong/nw/index.htm)Due to the VESA standards, SVGA is pretty simple to do.The screen is setup as if it were mult
Washington University in St. Louis - CS - 577
CS/EE 577 - Homework 2Due 10/10/001. Derive the equations for the mean and variance of the geometric distribution, by applying the definitions given in the notes. Show that if x and y are geometric random variables with parameters p and q respecti
Penn State - SEF - 5013
Penn State - PUBS - 173
SERIES SUBSCRIPTION ORDER FORMOfficial Use OnlyReceived Initials SourceAccount Number (from mailing label) Name StreetSydn ey Danc e CoCitymp an y GRA NDState EveningZIPPhone: Day E-mailMay we add you to our marketing and commu
Penn State - SMK - 5085
Syracuse - PHY - 351
DAQ6023E/6024E/6025E User ManualMultifunction I/O Devices for PCI, PXI , CompactPCI, and PCMCIA Bus Computers6023E/6024E/6025E User ManualDecember 2000 Edition Part Number 322072C-01Support Worldwide Technical Support and Product Information n
U. Memphis - FIR - 7721
Determination of Forward and Futures PricesChapter 5Options, Futures, and Other Derivatives 6th Edition, Copyright John C. Hull 20055.1Consumption vs Investment Assets Investmentassets are assets held by significant numbers of people purel
U. Memphis - FIR - 7721
Interest RatesChapter 4Options, Futures, and Other Derivatives 6th Edition, Copyright John C. Hull 20054.1Types of Rates Treasuryrates LIBOR rates Repo ratesOptions, Futures, and Other Derivatives 6th Edition, Copyright John C. Hull 2
U. Memphis - FIR - 7721
Wiener Processes and It's LemmaChapter 12Options, Futures, and Other Derivatives, 6th Edition, Copyright John C. Hull 2005Types of Stochastic Processes Discretetime; discrete variable Discrete time; continuous variable Continuous time; dis