ppxscal/embedding_network huggingface dataset:
Proving the correctness of coroutines without history variables
Authors: Edmund M. Clarke
Venue: Proceedings of the 16th annual Southeast regional conference (1978)

We examine the question of whether history variables are necessary in formal proofs of correctness for coroutines. History variables are special variables which are added to a program to facilitate its proof by recording the execution history of the program. Such variables were first used by Clint in his paper "Program Proving: Coroutines." They have also been used by Owicki and Howard (concurrent program) and by Apt (sequential programs). We argue that recording the entire history of a computation in a single set of variables is inconvenient and leads to extremely complicated proofs. We propose a modification of Clint's axiom system and a strategy for constructing proofs which eliminates the need for history variables in verifying simple coroutines. Examples are given to illustrate this technique of verifying coroutines and our axiom system is shown to be sound and relatively complete with respect to an operational semantics for coroutines. Finally, we discuss extensions of the coroutine concept for which history variables do appear to be needed; we also discuss the question of whether history variables are necessary in verifying concurrent programs.
Harnessing Technology to Manage Your International Business, 1st edition
Authors: David J. Silk
Venue:  (1995)

:This is a guide to the ways technology can be used to work across boundaries. It is comprehensive but general enough for non-specialists to read and covers the impact of technology on business improvement, managing the change and environmental considerations.
Design of Computers and Other Complex Digital Devices, 1st edition
Authors: Sunggu Lee
Venue:  (1999)

: Complete step-by-step guideThis extremely detailed method walks the student through the entire process of designing an 8-bit microprocessor. Provides students with detailed instruction to help ensure success. Modified and expanded ASM methodIs presented as a systematic 5-step method to be used in any digital hardware device. Introduces students to an expanded application of the well-known ASM method. Appendix section with laboratory experimentsLab experiments follow the presentation of the text material. Provides students with the opportunity for direct application of the text materials. Implementation of the Intel 8080Covers the design process of an actual commercial microprocessor rather than a fictional computer as the design target. Gives students hands-on experience applying design concepts explored in class in a real-life situation. Three part organizationPart I provides an overview of basic digital logic design. Part II explores the use of programmable logic devices, hardware description languages, and the modified ASM method for the implementation of general algorithms in hardware. Part III presents the design and implementation of an 8-bit microprocessor using the VHDL description, FPGA configuration, and the ASM design method. Provides instructors with a clear organization of course material for easier presentation. Companion websiteIncludes all the codes and figures with additional material for reference. Provides instant access to useful material and supplementary information.
Oracle 8 Server
Authors: Joe Greene
Venue:  (1998)

:This book will cover all features of Oracle8 such as: Oracle8 Architecture and the Network Computing Architecture; Migrating or building from scratch, and scaling to fit your business; Programming and Administration; Going beyond the server: system designing, development, and analysis using Developer/2000, Designer/2000 and Discover 3.0; Oracle Enterprise Manager; Using complex data types within a database i.e. business objects, multimedia, Java applets, etc.; Improved replication, performance and backup/recovery; OLTP; Data warehousing & VLDBs (Very Large Databases); Deploying databases on the WebCovers hot topics such as deploying on the Web; data warehousing; business objects; and integrating multimedia, HTML, Java apps, and unstructured text in databases.Oracle8 Server Unleashed is a hands- on handbook/reference that gives the readers the fundamental knowledge needed to effectively work with Oracle8 at an accomplished to expert level.Everything the Oracle database professional needs to know about Oracle8 Server - in one book.
Incremental computation of complex object queries
Authors: Hiroaki Nakamura
Venue: Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (2001)

The need for incremental algorithms for evaluating database queries is well known, but constructing algorithms that work on object-oriented databases (OODBs) has been difficult. The reason is that OODB query languages involve complex data types including composite objects and nested collections. As a result, existing algorithms have limitations in that the kinds of database updates are restricted, the operations found in many query languages are not supported, or the algorithms are too complex to be described precisely. We present an incremental computation algorithm that can handle any kind of database updates, can accept any expressions in complex query languages such as OQL, and can be described precisely. By translating primitive values and records into collections, we can reduce all query expressions comprehension. This makes the problems with incremental computation less complicated and thus allows us to decribe of two parts: one is to maintain the consistency in each comprehension occurrence and the other is to update the value of an entire expression. The algorithm is so flexible that we can use strict updates, lazy updates, and their combinations. By comparing the performance of applications built with our mechanism and that of equivalent hand written update programs, we show that our incremental algorithm can be iplemented efficiently.
Storage area network essentials: a complete guide to understanding and implementing SANs
Authors: Richard Barker, Paul Massiglia
Venue:  (2001)

With this book, you'll find detailed, up-to-date coverage on: the evolution of computing in data centers and how it has led to SANs; killer applications for SANs; storage networking and what it means to an enterprise information processing architecture; the storage, network, and software components required for storage networking; and issues in SAN implementation and management.
The Internet Joke Book
Authors: Brad Templeton
Venue:  (1995)

:Do you wonder how jokes spread around the world? How a simple joke can zoom across the entire country in just a few days? This book contains some of the best jokes of recent years. Some are about computers, many are about everything else except computers. Lighten your day and enjoy sharing the jokes that techies have been chuckling over. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Test Case Prioritization: A Family of Empirical Studies
Authors: Sebastian Elbaum, Alexey G. Malishevsky, Gregg Rothermel
Venue: IEEE Transactions on Software Engineering (2002)

To reduce the cost of regression testing, software testers may prioritize their test cases so that those which are more important, by some measure, are run earlier in the regression testing process. One potential goal of such prioritization is to increase a test suite's rate of fault detection. Previous work reported results of studies that showed that prioritization techniques can significantly improve rate of fault detection. Those studies, however, raised several additional questions: 1) Can prioritization techniques be effective when targeted at specific modified versions; 2) what trade-offs exist between fine granularity and coarse granularity prioritization techniques; 3) can the incorporation of measures of fault proneness into prioritization techniques improve their effectiveness? To address these questions, we have performed several new studies in which we empirically compared prioritization techniques using both controlled experiments and case studies. The results of these studies show that each of the prioritization techniques considered can improve the rate of fault detection of test suites overall. Fine-granularity techniques typically outperformed coarse-granularity techniques, but only by a relatively small margin overall; in other words, the relative imprecision in coarse-granularity analysis did not dramatically reduce coarse-granularity techniques' ability to improve rate of fault detection. Incorporation of fault-proneness techniques produced relatively small improvements over other techniques in terms of rate of fault detection, a result which ran contrary to our expectations. Our studies also show that the relative effectiveness of various techniques can vary significantly across target programs. Furthermore, our analysis shows that whether the effectiveness differences observed will result in savings in practice varies substantially with the cost factors associated with particular testing processes. Further work to understand the sources of this variance and to incorporate such understanding into prioritization techniques and the choice of techniques would be beneficial.
Law of the Information Superhighway
Authors: Henry H. Perritt,  Jr.
Venue:  (1996)

:This trailblazing book provides an analysis of the important legal issues that arise as the electronic information infrastructure matures. Explains the interrelationship among various areas of law including intellectual property, access rights, tort and criminal liability and privacy. Describes the latest techniques of electronic publishing, e-mail and the Internet. Explores the convergence of cable television and telephone technologies.
Global Expansion in the Information Age: Big Planet, Small World, 1st edition
Authors: Thomas J. Howard
Venue:  (1995)

:This highly readable book provides managers with everything they need to know about information technology in order to enter and succeed in the global marketplace. Using numerous anecdotes and examples, it presents step-by-step instructions for developing and implementing strategies for global expansion. From product assessment, development, positioning and packaging, to practical tips on cultural awareness, this book covers it all. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Global Paradox
Authors: John Naisbitt
Venue:  (1994)

:In the tradition of his bestselling Megatrends books, John Naisbitt explores the new wave of global economic change predicted as a result of the breaking apart of the Soviet empire--and the opportunities and challenges for nations, businesses, and individuals.
Zen of Graphics Programming, with CD-ROM, 2nd Ed., 2nd edition
Authors: Michael Abrash
Venue:  (1996)

:Explains the PC graphics hardware to a very deep level, and how it impacts code performance. Treats both 2-D and 3-D graphics and animation in great detail. Shows that graphics optimization is largely a right-brain process, not simplyone of counting cycles and analyzing CPU execution speed. Provides tools and rationales for measuring performance of animated graphics. Provides examples of optimized graphics in both fundamental figures like lines, circles, and ellipses, as well as elaborate 3-D objects composed of multiple polygons. Presents the industry's best and most-detailed coverage of BSP trees, the cutting-edge algorithm that makes breathtaking real-time animated 3-D graphics possible!
Calculated bets: computers, gambling, and mathematical modeling to win
Venue:  (2001)

Calculated Bets describes a gambling system that works. Steven Skiena, a jai-alai enthusiast and computer scientist, documents how he used computer simulations and modeling techniques to predict the outcome of jai-alai matches and increased his initial stake by 500% in one year. Skiena demonstrates how his jai-alai system functions like a stock trading system, and includes examples of how gambling and mathematics interact in program trading systems, how mathematical models are used in political polling, and what the future holds for Internet gambling. With humor and enthusiasm, Skiena explains computer predictions used in business, sports, and politics, and the difference between correlation and causation. An unusual presentation of how mathematical models are designed, built, and validated, Calculated Bets also includes a list of modeling projects with online data sources.
Openlinux Installation and Configuration Handbook with CD-ROM
Authors: Gary Wilson
Venue:  (1999)

:Caldera OpenLinux Installation and Configuration Handbook is a hands-on book for those who want to use Linux to do the job. Need to get sound working? Want to add a low-cost, high-quality Windows compatible server to your office? Need a firewall for network security? This is the book that will walk you through the steps in a clear and accessible way. It's the computer doctor's handbook. This book is a step-by-step, focused tutorial on installing and reliably maintaining a comprehensive Internet solution, including a corporate mail server, Web Server and more--on a shoestring budget. Topics include Set up and Installation, Connecting to the Internet, Basic services--mail and news, Setting up a Web server, Security, Advanced networking, Managing the system accounts, logs, backups, configuring workstations, and Troubleshooting.CD-ROM contains Caldera OpenLinux 2.2 and more The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Zen Computer: Mindfulness and the Machine
Authors: Philip Toshio Sudo
Venue:  (1999)

:Anyone who has ever cursed a computer will benefit from Zen Computer, with its soothing approach to living calmly amid the constant upheavals of the modern world. Using the principles of Zen, Philip Toshio Sudo helps the technologically savvy cultivate qualifies to cope more effectively with everything from major life changes to computer viruses. Including a user's guide and a tutorial, the book is organized along "The Seven Rules of Zen Computer": expect the unexpected; it always takes longer than you think; do not waste time; learn and teach, teach and learn; warm heart, cool head; do good work; and know when to turn the machine off.Sudo provides exercises on working toward a mindful way to coexist with computers, tips on responding calmly to program bugs and system crashes, and suggestions for interfacing with people on the Internet and the world at large. With inspired illustrations, Zen Computer encourages appreciation for all the computer has given us...as well as what it has the potential to take away. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
AutoCAD 14 Answers! Certified Tech Support
Authors: Ellen Finkelstein
Venue:  (1998)

:A first and unique entry into the AutoCAD arena-No other book on AutoCAD is organized in a troubleshooting question/answer format. Features real-world examples from a variety of drafting fields-architectural,mechanical,electrical,and others. FAQs from actual AutoCAD managers at companies like Disney and others,who provide day-to-day support within their companies. Covers topics that are often omitted or barely covered in other books,like: AutoCAD SQL Environment (ASE) - Allows users to access external databases from within AutoCAD; AutoLISP - Reduces drawing loading time and allows for batch or cross drawing applications (more than one drawing open at a time); Rendering - Creating photo-realistic images of 3D objects; Customizing menus,script files (macros),hatch patterns,line types,and fonts.
Contextual Design: Defining Customer-Centered Systems
Authors: Hugh Beyer
Venue:  (1997)

:If necessity is the mother of invention, then if you don't know what the users need you can't invent. Karen and Hugh present a step-by-step way to uncover, understand, and use those needs. If developers are not already using techniques like those presented here, they should read this book carefully to see what they are missing. --Dan Bricklin co-creator of VisiCalc This book introduces a customer-centered approach to business by showing how data gathered from people while they work can drive the definition of a product or process while supporting the needs of teams and their organizations. This is a practical, hands-on guide for anyone trying to design systems that reflect the way customers want to do their work. The authors developed Contextual Design, the method discussed here, through their work with teams struggling to design products and internal systems. In this book, you'll find the underlying principles of the method and how to apply them to different problems, constraints, and organizational situations. Contextual Design enables you to gather detailed data about how people work and use systems develop a coherent picture of a whole customer population generate systems designs from a knowledge of customer work diagram a set of existing systems, showing their relationships, inconsistencies, redundancies, and omissions
A Guide to Maple: Maple V, Release 5, 1st edition
Authors: Ernic Kamerich
Venue:  (1997)

:This "hands-on" book is for people who are interested in immediately putting Maple to work. The compact, fast, and surveyable guide introduces the reader quickly to the extensive capabilities of Maple. It is sufficient for standard use of Maple, yet will provide techniques for using Maple for more specialized work as well. The author discusses the reliability of results systematically and presents ways of testing questionable results. The book allows a reader to become a user almost immediately, and helps him or her to avoid common mistakes and grow gradually to a broader and more proficient use. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Multi-Boot Configuration Handbook with Cdrom
Authors: Roderick W. Smith
Venue:  (2000)

:The Multi-Boot Configuration Handbook provides guidance to installing two or more OSes on a single computer. This book explains why things work the way they do and gives examples of real-world experience in using multiple operating systems in harmony with one another. You'll be able to coax several OSes into coexisting on one computer. You'll also understand something more about the basics of how a PC operates. See how to avoid the frustration of installing multiple operation systems. The Multi-Boot Configuration Handbook provides a guide to the intricacies of installing and maintaining a multi-OS computer. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Total Quality Management Approach to It Security
Authors: Mario Devargas
Venue:  (1995)

:Quality and security intertwine to form an essential system for all areas of the IT industry. Both areas have the objectives of supplying industry with the tools to perform a superior job and producing a more cost-effective product. Many leading companies have invested heavily in quality and security to gain competitive advantage by reducing costs and increasing sales. This book demonstrates the close links between quality and security, describes their interdependence and examines key topics such as quality assurance. The basic quality concepts are defined and the author describes how they can be measured and where IT fits in. The book goes on to show how quality and security in IT are related and demonstrates how quality can assist the solution of security problems. The most important security standards are described and their contents are applied to quality in IT. Finally, the essential skills and knowledge required to perform an effective audit of IT security are described and the application of quality to such an audit is examined. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
What's SIGCHI's role in strengthening communities?
Authors: Jenny Preece, Paul Resnick, Doug Schuler, Clarisse Sieckenius de Souza
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

On September 11 we saw how a tightly knit group worked together to penetrate the US and carry out a carefully orchestrated attack on the World Trade Center and Pentagon. We also saw how citizens spontaneously organized themselves to care for victims and their families, and support each other. How can the CHI community build on its knowledge of computer-mediated communication and socio-technical systems design to build a more cooperative society? The aim of this discussion is to develop a research and action agenda for CHI that strengthens communities locally, nationally and internationally. The underlying premise is that such socio-technical systems can be assessed and improved so that they more effectively facilitate information exchange, emotional support, and consensus building.
Automating with Step 7 in Lad and Fdb: Sigmatic S7-300/400 Programmable Controllers, 1st edition
Authors: Hans Berger
Venue:  (2000)

:This book describes elements and applications of the graphic-oriented programming languages LAD (ladder diagram) and FBD (function block diagram) for use with both SIMATIC S7-300 and SIMATIC S7-400. It is aimed at all users of SIMATIC S7 programmable controllers. First-time users will be introduced to the field of programmable logic control whereas advanced users will learn about specific applications of SIMATIC S7 programmable controllers. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Using events to build large scale distributed applications
Authors: Richard Hayton, Jean Bacon, John Bates, Ken Moody
Venue: Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications (1996)

We have extended an Interface Definition Language to handle event registration and notification. Clients register interest in specified classes of events, and servers then notify them of any occurrence asynchronously. Event occurrences are identified by parameters which conform to IDL typing constraints and can therefore be used in synchronous method invocations. Methods to handle registration and notification are generic and can be inherited by objects of any class: as a by-product of IDL processing the stubs to handle event creation and decoding are generated automatically. We have implemented a prototype composite event recogniser based on nested finite state machines and have defined an event algebra and language to specify composite events.The approach is inherently scalable in that only events in which an interest has been registered are notified. Alternative approaches lead to polling, mining for event data or being flooded with superfluous events.