Author: Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages :
Book Description
Technical Report (Cornell University. Dept. of Computer Science)
Author: Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages :
Book Description
Technical Report
Author: The Networked Computer Science Technical Report Library
Author: J. R. DavisAssessing and Responding to the Growth of Computer Science Undergraduate Enrollments
Author: National Academies of Sciences, Engineering, and MedicinePublisher: National Academies Press
ISBN: 0309467020
Category : Education
Languages : en
Pages : 253
Book Description
The field of computer science (CS) is currently experiencing a surge in undergraduate degree production and course enrollments, which is straining program resources at many institutions and causing concern among faculty and administrators about how best to respond to the rapidly growing demand. There is also significant interest about what this growth will mean for the future of CS programs, the role of computer science in academic institutions, the field as a whole, and U.S. society more broadly. Assessing and Responding to the Growth of Computer Science Undergraduate Enrollments seeks to provide a better understanding of the current trends in computing enrollments in the context of past trends. It examines drivers of the current enrollment surge, relationships between the surge and current and potential gains in diversity in the field, and the potential impacts of responses to the increased demand for computing in higher education, and it considers the likely effects of those responses on students, faculty, and institutions. This report provides recommendations for what institutions of higher education, government agencies, and the private sector can do to respond to the surge and plan for a strong and sustainable future for the field of CS in general, the health of the institutions of higher education, and the prosperity of the nation.
Cornell University Department of Computer Science
Author: Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Provides information about the Department of Computer Science at Cornell University. Includes general information, faculty, researchers, students and staff, research projects, course information, activities, 1993-1994 Annual Report, technical reports, and links to other servers.
List of Technical Reports by Members of the Cornell University Department of Computer Science
Author: Publisher:
ISBN:
Category : Computer science literature
Languages : en
Pages : 134
Book Description
Logic from Computer Science
Author: Yiannis N. MoschovakisPublisher: Springer Science & Business Media
ISBN: 1461228220
Category : Mathematics
Languages : en
Pages : 607
Book Description
The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too.
Distributed Algorithms
Author: Marios MavronicolasPublisher: Springer Science & Business Media
ISBN: 9783540635758
Category : Computers
Languages : en
Pages : 356
Book Description
This book constitutes the refereed proceedings of the 11th International Workshop on Distributed Algorithms, WDAG '97, held in Saarbrücken, Germany, in September 1997. The volume presents 20 revised full papers selected from 59 submissions. Also included are three invited papers by leading researchers. The papers address a variety of current issues in the area of distributed algorithms and, more generally, distributed systems such as various particular algorithms, randomized computing, routing, networking, load balancing, scheduling, message-passing, shared-memory systems, communication, graph algorithms, etc.
The Craft of Text Editing
Author: Craig A. FinsethPublisher: Springer Science & Business Media
ISBN: 1461231884
Category : Computers
Languages : en
Pages : 231
Book Description
Never before has a book been published that describes the techniques and technology used in writing text editors, word processors and other software. Written for the working professional and serious student, this book covers all aspects of the task. The topics range from user psychology to selecting a language to implementing redisplay to designing the command set. More than just facts are involved, however, as this book also promotes insight into an understanding of the issues encountered when designing such software. After reading this book, you should have a clear understanding of how to go about writing text editing or word processing software. In addition, this book introduces the concepts and power of the Emacs-type of text editor. This type of editor can trace its roots to the first computer text editor written and is still by far the most powerful editor available.
Frontiers of Computing Systems Research
Author: Stuart K. TewksburyPublisher: Springer Science & Business Media
ISBN: 1461306337
Category : Computers
Languages : en
Pages : 394
Book Description
Computing systems researchers confront two serious problems. (1) The increasingly monolithic, or pseudo-monolithic, integration of complex com puting functions and systems imposes an environment which integrates ad vanced principles and techniques from a broad variety of fields. Researchers not only must confront the increased complexity of topics in their specialty field but also must develop a deeper general understanding of a broadening number of fields. (2) There has been a proliferation of journals, books, workshops and conferences through which research results are reported. Remaining familiar with recent advances in our specific fields is a major challenge. Casually browsing through journals and conference proceedings to remain aware of developments in areas outside our specialization has become an even greater challenge. Frontiers of Computing Systems Research has been established to ad dress these two issues. With the assistance of an advisory board of experts from a wide variety of specialized areas, we hope to provide roughly annual volumes of invited chapters on a broad range of topics and designed for an interdisciplinary research audience. No single volume can cover all the rel evant topics and no single article can convey the full set of directions being pursued within a given topic. For this reason, a chapter listing technical reports available from universities is also included. Often, such unpub lished reports are designed for a general research audience and provide a good, informal look at trends in specialized research topics.