The Design of Design : Essays from a Computer Scientist / Frederick P
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Using Experience Design to Drive Institutional Change, by Matt Glendinning
The Monthly Recharge - November 2014, Experience Design Designing Learning for School Leaders, by Carla Silver Using Experience Design to Drive Institutional Change, by Matt Glendinning Designing the Future, by Brett Jacobsen About L+D Designing Learning for School Leadership+Design is a nonprofit Leaders organization and educational Carla Robbins Silver, Executive Director collaborative dedicated to creating a new culture of school leaders - empathetic, creative, collaborative Dear Friends AND Designers: and adaptable solution-makers who can make a positive difference in a The design industry is vast and wonderful. In his book, Design: rapidly changing world. Creation of Artifacts in Society, Karl Ulrich, professor at Wharton School of Business at the University of Pennsylvania, includes an We support creative and ever-growing list of careers and opportunities in design. They innovative school leadership at range form the more traditional and known careers - architecture the individual and design, product design, fashion design, interior design - to organizational level. possibilities that might surprise you - game design, food design, We serve school leaders at all news design, lighting and sound design, information design and points in their careers - from experience design. Whenever I read this list, I get excited - like teacher leaders to heads of jump-out-of-my-seat excited. I think about the children in all of our school as well as student schools solving complex problems, and I think about my own leaders. children, and imagine them pursuing these careers as designers. We help schools design strategies for change, growth, Design is, according to Ulrich, "conceiving and giving form to and innovation. -
Early Stored Program Computers
Stored Program Computers Thomas J. Bergin Computing History Museum American University 7/9/2012 1 Early Thoughts about Stored Programming • January 1944 Moore School team thinks of better ways to do things; leverages delay line memories from War research • September 1944 John von Neumann visits project – Goldstine’s meeting at Aberdeen Train Station • October 1944 Army extends the ENIAC contract research on EDVAC stored-program concept • Spring 1945 ENIAC working well • June 1945 First Draft of a Report on the EDVAC 7/9/2012 2 First Draft Report (June 1945) • John von Neumann prepares (?) a report on the EDVAC which identifies how the machine could be programmed (unfinished very rough draft) – academic: publish for the good of science – engineers: patents, patents, patents • von Neumann never repudiates the myth that he wrote it; most members of the ENIAC team contribute ideas; Goldstine note about “bashing” summer7/9/2012 letters together 3 • 1.0 Definitions – The considerations which follow deal with the structure of a very high speed automatic digital computing system, and in particular with its logical control…. – The instructions which govern this operation must be given to the device in absolutely exhaustive detail. They include all numerical information which is required to solve the problem…. – Once these instructions are given to the device, it must be be able to carry them out completely and without any need for further intelligent human intervention…. • 2.0 Main Subdivision of the System – First: since the device is a computor, it will have to perform the elementary operations of arithmetics…. – Second: the logical control of the device is the proper sequencing of its operations (by…a control organ. -
An Array-Oriented Language with Static Rank Polymorphism
An array-oriented language with static rank polymorphism Justin Slepak, Olin Shivers, and Panagiotis Manolios Northeastern University fjrslepak,shivers,[email protected] Abstract. The array-computational model pioneered by Iverson's lan- guages APL and J offers a simple and expressive solution to the \von Neumann bottleneck." It includes a form of rank, or dimensional, poly- morphism, which renders much of a program's control structure im- plicit by lifting base operators to higher-dimensional array structures. We present the first formal semantics for this model, along with the first static type system that captures the full power of the core language. The formal dynamic semantics of our core language, Remora, illuminates several of the murkier corners of the model. This allows us to resolve some of the model's ad hoc elements in more general, regular ways. Among these, we can generalise the model from SIMD to MIMD computations, by extending the semantics to permit functions to be lifted to higher- dimensional arrays in the same way as their arguments. Our static semantics, a dependent type system of carefully restricted power, is capable of describing array computations whose dimensions cannot be determined statically. The type-checking problem is decidable and the type system is accompanied by the usual soundness theorems. Our type system's principal contribution is that it serves to extract the implicit control structure that provides so much of the language's expres- sive power, making this structure explicitly apparent at compile time. 1 The Promise of Rank Polymorphism Behind every interesting programming language is an interesting model of com- putation. -
The Advent of Recursion & Logic in Computer Science
The Advent of Recursion & Logic in Computer Science MSc Thesis (Afstudeerscriptie) written by Karel Van Oudheusden –alias Edgar G. Daylight (born October 21st, 1977 in Antwerpen, Belgium) under the supervision of Dr Gerard Alberts, and submitted to the Board of Examiners in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: November 17, 2009 Dr Gerard Alberts Prof Dr Krzysztof Apt Prof Dr Dick de Jongh Prof Dr Benedikt Löwe Dr Elizabeth de Mol Dr Leen Torenvliet 1 “We are reaching the stage of development where each new gener- ation of participants is unaware both of their overall technological ancestry and the history of the development of their speciality, and have no past to build upon.” J.A.N. Lee in 1996 [73, p.54] “To many of our colleagues, history is only the study of an irrele- vant past, with no redeeming modern value –a subject without useful scholarship.” J.A.N. Lee [73, p.55] “[E]ven when we can't know the answers, it is important to see the questions. They too form part of our understanding. If you cannot answer them now, you can alert future historians to them.” M.S. Mahoney [76, p.832] “Only do what only you can do.” E.W. Dijkstra [103, p.9] 2 Abstract The history of computer science can be viewed from a number of disciplinary perspectives, ranging from electrical engineering to linguistics. As stressed by the historian Michael Mahoney, different `communities of computing' had their own views towards what could be accomplished with a programmable comput- ing machine. -
Newcomers' Welcome Pack
Newcomers’ Welcome Pack If you would like someone from the Hursley Village Community Association to get in contact personally to talk about the village or introduce you to a few neighbours over a cup of tea (or similar) contact the HVCA (see page 2). We don’t want to be pushy but we do want you to feel welcome! Welcome to your new home and community! Contents Introduction to key groups in the village 2 Hursley Village Community Association 2 The Church: All Saints’ (Church of England) 2 The School: John Keble Primary School 3 The Parish Council 4 The Parish Hall 4 The Shops 4 The Pubs 5 A brief history of Hursley 6 Things you might want to get involved with 9 Annual Calendar of Events 9 The Annual Newcomers Lunch hosted by the HVCA 9 Clubs and Associations 10 Keeping updated 11 Some useful local contacts 12 Some travel directions 14 Note: Not everything in this pack is entirely up-to-date or complete but it should point you in the right direction. If you find something in error, or have constructive suggestions, please contact Steve Powell (9 Heathcote Place, or [email protected]) with corrections. Welcome Pack Introduction to key groups in the village Hursley Village Community Association CHAIRMAN: Richard Baker (01962 775469) EMAIL: [email protected] Hursley Village Community Association (HVCA) was formed in April 2014 and is intended to be a way of bringing together people of all ages, interests and backgrounds to work in a community-spirited, non-political way. Hursley village is a great place to live. -
Compendium of Technical White Papers
COMPENDIUM OF TECHNICAL WHITE PAPERS Compendium of Technical White Papers from Kx Technical Whitepaper Contents Machine Learning 1. Machine Learning in kdb+: kNN classification and pattern recognition with q ................................ 2 2. An Introduction to Neural Networks with kdb+ .......................................................................... 16 Development Insight 3. Compression in kdb+ ................................................................................................................. 36 4. Kdb+ and Websockets ............................................................................................................... 52 5. C API for kdb+ ............................................................................................................................ 76 6. Efficient Use of Adverbs ........................................................................................................... 112 Optimization Techniques 7. Multi-threading in kdb+: Performance Optimizations and Use Cases ......................................... 134 8. Kdb+ tick Profiling for Throughput Optimization ....................................................................... 152 9. Columnar Database and Query Optimization ............................................................................ 166 Solutions 10. Multi-Partitioned kdb+ Databases: An Equity Options Case Study ............................................. 192 11. Surveillance Technologies to Effectively Monitor Algo and High Frequency Trading .................. -
Hard Or Soft Environmental Systems?
HARD OR SOFT ENVIRONMENTAL SYSTEMS? M.B . Beck International Institute for Applied Systems Analysis, Austria RR-81-4 March 1981 Reprinted from Ecological Modelling, volume 11 (1981) INTERNATIONAL INSTITUTE FOR APPLIED SYSTEMS ANALYSIS Laxenburg, Austria Research Reports, which record research conducted at IIASA, are independently reviewed before publication. However, the views and opinions they express are not necessarily those of the Institute or the National Member Organizations that support it. Reprinted with permission from Ecological Modelling 11 :233 - 251 , 1981 Copyright© 1981 Elsevier Scientific Publishing Company All rights reserved. No part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage or retrieval system, without permission in writing from the copyright holder. iii FOREWORD In recent years there has been considerable interest in developing models for river and lake ecological systems, much of it directed toward large and complex simulation models. However, this trend gives rise to concern on several important counts. In particular, relatively little attention has been given to the problems of uncertainty and errors in field data, of inadequate amounts of field data, and of uncertainty about parameter estimates and the relations between important variables. The work of the International Institute for Applied Systems Analysis (IIASA) on environmental quality control and management is addressing problems such as these, and one of the principal themes of the work is to develop a framework for modeling poorly defined environmental systems. This paper discusses, in qualitative terms, the preliminary outlines of such a frame work. -
Systems Thinking in Tobacco Control
NCI TOBACCO CONTROL MONOGRAPH SERIES 18 National Cancer Institute Greater Than the Sum Systems Thinking in Tobacco Control Edited by Allan Best, Ph.D. Pamela I. Clark, Ph.D. Scott J. Leischow, Ph.D. U.S. DEPARTMENT William M. K. Trochim, Ph.D. OF HEALTH AND HUMAN SERVICES National Institutes of Health Other NCI Tobacco Control Monographs Strategies to Control Tobacco Use in the United States: A Blueprint for Public Health Action in the 1990’s. Smoking and Tobacco Control Monograph No. 1. NIH Pub. No. 92-3316, December 1991. Smokeless Tobacco or Health: An International Perspective. Smoking and Tobacco Control Monograph No. 2. NIH Pub. No. 92-3461, September 1992. Major Local Tobacco Control Ordinances in the United States. Smoking and Tobacco Control Monograph No. 3. NIH Pub. No. 93-3532, May 1993. Respiratory Health Effects of Passive Smoking: Lung Cancer and Other Disorders. Smoking and Tobacco Control Monograph No. 4. NIH Pub. No. 93-3605, August 1993. Tobacco and the Clinician: Interventions for Medical and Dental Practice. Smoking and Tobacco Control Monograph No. 5. NIH Pub. No. 94-3693, January 1994. Community-based Interventions for Smokers: The COMMIT Field Experience. Smoking and Tobacco Control Monograph No. 6. NIH Pub. No. 95-4028, August 1995. The FTC Cigarette Test Method for Determining Tar, Nicotine, and Carbon Monoxide Yields of U.S. Cigarettes. Report of the NCI Expert Committee. Smoking and Tobacco Control Monograph No. 7. NIH Pub. No. 96-4028, August 1996. Changes in Cigarette-Related Disease Risks and Their Implications for Prevention and Control. Smoking and Tobacco Control Monograph No. -
Application and Interpretation
Programming Languages: Application and Interpretation Shriram Krishnamurthi Brown University Copyright c 2003, Shriram Krishnamurthi This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 United States License. If you create a derivative work, please include the version information below in your attribution. This book is available free-of-cost from the author’s Web site. This version was generated on 2007-04-26. ii Preface The book is the textbook for the programming languages course at Brown University, which is taken pri- marily by third and fourth year undergraduates and beginning graduate (both MS and PhD) students. It seems very accessible to smart second year students too, and indeed those are some of my most successful students. The book has been used at over a dozen other universities as a primary or secondary text. The book’s material is worth one undergraduate course worth of credit. This book is the fruit of a vision for teaching programming languages by integrating the “two cultures” that have evolved in its pedagogy. One culture is based on interpreters, while the other emphasizes a survey of languages. Each approach has significant advantages but also huge drawbacks. The interpreter method writes programs to learn concepts, and has its heart the fundamental belief that by teaching the computer to execute a concept we more thoroughly learn it ourselves. While this reasoning is internally consistent, it fails to recognize that understanding definitions does not imply we understand consequences of those definitions. For instance, the difference between strict and lazy evaluation, or between static and dynamic scope, is only a few lines of interpreter code, but the consequences of these choices is enormous. -
The Art of Unix Programming Next the Art of Unix Programming
The Art of Unix Programming Next The Art of Unix Programming Eric Steven Raymond Thyrsus Enterprises <[email protected]> Copyright © 2003 Eric S. Raymond Revision History Revision 0.0 1999 esr Public HTML draft, first four chapters only. Revision 0.1 16 November 2002 esr First DocBook draft, fifteen chapters. Released to Mark Taub at AW. Revision 0.2 2 January 2003 esr First manuscript walkthrough at Chapter 7. Released to Dmitry Kirsanov at AW production. Revision 0.3 22 January 2003 esr First eighteen-chapter draft. Manuscript walkthrough at Chapter 12. Limited release for early reviewers. Revision 0.4 5 February 2003 esr Release for public review. Revision 0.41 11 February 2003 esr Corrections and additions to Mac OS case study. A bit more about binary files as caches. Added cite of Butler Lampson. Additions to history chapter. Note in futures chapter about C and exceptions. Many typo fixes. Revision 0.42 12 February 2003 esr Add fcntl/ioctl to things Unix got wrong. Dedication To Ken Thompson and Dennis Ritchie, because you inspired me. Table of Contents Requests for reviewers and copy-editors Preface Who Should Read This Book How To Use This Book Related References Conventions Used In This Book Our Case Studies Author's Acknowledgements I. Context 1. Philosophy Culture? What culture? The durability of Unix The case against learning Unix culture What Unix gets wrong What Unix gets right Open-source software Cross-platform portability and open standards The Internet The open-source community Flexibility in depth Unix is fun to hack The lessons of Unix can be applied elsewhere Basics of the Unix philosophy Rule of Modularity: Write simple parts connected by clean interfaces. -
TCM Report, Summer
Board of Directors Corporate Donors Contributing Members John William Poduska. Sr. Benefactor-$lO.ooo or more Pathway Design. Inc. Patron-$SOO or more Chairman and CEO AFIPS. Inc." PC Magazine Anonymous. Ray Duncan. Tom Eggers. Belmont Computer. Inc. American Exr.ress Foundation Peat. Marwick. Mitchell & Co. Alan E. Frisbie. Tom and Rosemarie American Te ephone & Telegraph Co." Pell. Rudman. Inc. Hall. Andrew Lavien. Nicholas and Gwen Bell. President Apollo Computer. Inc." Pencept. Inc. Nancy Petti nella. Paul R. Pierce. The Computer Museum Bank of America" Polese-Clancy. Inc. Jonathan Rotenberg. Oliver and Kitty Erich Bloch The Boston Globe" Price Waterhouse Selfridge. J. Michael Storie. Bob National Science Foundation ComputerLand" Project Software & Development. Inc. Whelan. Leo R. Yochim Control Data Corporation" Shawmut Corporation David Donaldson Data General Corporation" Standard Oil Corporation Sponsor-$250 Ropes and Gray Digital Equipment Corporation" Teradyne Hewlett-Packard Warner & Stackpole Isaac Auerbach. G. C . Beldon. Jr .. Sydney Fernbach Philip D. Brooke. Richard J. Clayton. Computer Consultant International Data Group" XRE Corporation International Business Machines. Inc." " Contributed to the Capital Campaign Richard Corben. Howard E. Cox. Jr .. C. Lester Hogan The MITRE Corporation" Lucien and Catherine Dimino. Philip H. Fairchild Camera and Instrument NEC Corporation" Darn. Dan L. Eisner. Bob O. Evans. Corporation Raytheon Company Branko Gerovac. Dr. Roberto Guatelli. Sanders Associates M. Ernest Huber. Lawrence J. Kilgallen. Arthur Humphreys The Travelers Companies Core Members Martin Kirkpatrick. Marian Kowalski. ICL Wang Laboratories. Inc." Raymond Kurzweil. Michael Levitt. Carl Theodore G. Johnson Harlan E. and Lois Anderson Machover. Julius Marcus. Joe W .. Charles and Constance Bachman Matthews. Tron McConnell. -
Sejarah Perkembangan Dan Kemajuan the International Bussines Machines
SEJARAH PERKEMBANGAN DAN KEMAJUAN THE INTERNATIONAL BUSSINES MACHINES Oleh : ANGGARA WISNU PUTRA 1211011018 CIPTA AJENG PRATIWI 1211011034 DERI KURNIAWAN 1211011040 FEBY GIPANTIUS ZAMA 1211011062 NOVITA LIANA SARI 1211011118 RAMA AGUSTINA 1211011128 FAKULTAS EKONOMI DAN BISNIS UNIVERSITAS LAMPUNG BANDAR LAMPUNG 2014 BAB II PEMBAHASAN 2.1 Sejarah berdirinya THE INTERNATIONAL BUSSINES MACHINES (IBM) 1880—1929 Pada tahun 1880-an, beberapa teknologi yang akan menjadi bisnis IBM ditemukan. Julius E. Pitrap menemukan timbangan komputer pada tahun 1885. Alexander Dey menemukan dial recorder tahun 1888. Herman Hollerith menemukan Electric Tabulating Machine 1989 dan pada tahun yang sama Williard Bundy menemukan alat untuk mengukur waktu kerja karyawan. Pada 16 Juni 1911, teknologi-teknologi tersebut dan perusahaan yang memilikinya digabungkan oleh Charles Ranlett Flint dan membentuk Computing Tabulating Recording Company (CTR). Perusahaan yang berbasis di New York ini memiliki 1.300 karyawan dan area perkantoran serta pabrik di Endicott dan Binghamton, New York; Dayton, Ohio; Detroit, Michigan; Washington, D.C.; dan Toronto, Ontario. CTR memproduksi dan menjual berbagai macam jenis mesin mulai dari timbangan komersial hingga pengukur waktu kerja. Pada tahun 1914, Flint merekrut Thomas J. Watson, Sr., dari National Cash Register Company, untuk membantunya memimpin perusahaan. Watson menciptakan slogan, ―THINK‖, yang segera menjadi mantra bagi karyawan CTR. Dalam waktu 11 bulan setelah bergabung, Watson menjadi presiden dari CTR. Perusahaan memfokuskan diri pada penyediaan solusi penghitungan dalam skala besar untuk bisnis. Selama empat tahun pertama kepemimpinannya, Watson sukses meningkatkan pendapatan hingga lebih dari dua kali lipat dan mencapai $9 juta. Ia juga sukses mengembangkan sayap ke Eropa, Amerika Selatan, Asia, dan Australia. Pada 14 Februari 1924, CTR berganti nama menjadi International Business Machines Corporation (IBM).