ppxscal/embedding_network huggingface dataset:
Formal foundations of software evolution: workshop report
Authors: Tom Mens, Michel Wermelinger
Venue: ACM SIGSOFT Software Engineering Notes (2001)

The workshop on Formal Foundations of Software Evolution was co-located with the 5th European Conference on Software Maintenance and Reengineering (CSMR 2001), which took place at the Centro de Congressos do Instituto Superior Tcnico in Lisbon, Portugal, March 14 to 16, 2001. The workshop was organised in the context of the Scientific Research Network on Foundations of Software Evolution. This is a research consortium coordinated by the Programming Technology Lab of the Vrije Universiteit Brussel (Belgium), and it involves 9 research institutes from universities in 5 different European countries (Belgium, Germany, Austria, Switzerland, and Portugal). The consortium is financed by the Fund for Scientific Research - Flanders (Belgium).One full day was allocated for the workshop (March 13, 2001). There were 14 participants, that all contributed with a position paper which was reviewed and revised before the workshop. Next to the submissions of the research consortium partners, there were also participants from research institutes in Spain, United Kingdom, Finland, and Japan. In preparation to the workshop, participants were requested to read all other submissions, and asked to prepare a clear position statement and questions that were likely to stimulate discussion.The goal of the workshop was to get more insight into how formal techniques can alleviate software evolution problems, and how they can lead to tools for the evolution of large and complex software systems that are more robust and more widely applicable without sacrificing efficiency. Preferably, the evolution-support tools should not be restricted to a particular phase of software evolution [BR00], but should be generally applicable throughout the entire application lifetime. The tools should also provide support for different aspects of software engineering, such as forward engineering, reverse engineering, re-engineering, and team engineering.In order to stimulate discussions, three general important questions were posed to the participants at the beginning of the workshop: Which aspects of software evolution need to be automated by tools? Where and how can formalisms help us to achieve tool support? How can we build formally-founded tools that are as general and flexible as possible? Note that the generality and flexibility of a tool involves many different aspects: --- independence of the programming language for which support should be provided; --- customisability by the user of the tool;--- applicability in or across different stages of software evolution; --- interoperability with other tools; --- scalability to large and complex software systems with multiple developers; --- usable for static (design-time) as well as dynamic (runtime) evolution; --- applicable to forward, reverse, and re-engineering; --- usable before, during, and after evolution; --- usable for facilitating, supporting, as well as analysing evolution; --- to deal with the what and why as well as the how of software evolution
Mastering Mechanics I: Using MATLAB 5, 1st edition
Authors: Douglas W. Hull
Venue:  (1998)

:FEATURES Provides a new toolbox designed for statics and strength of materials. These toolboxes include routines that will solve a number of problems. truss problems shape properties such as Ix, Iy, centroid location, area, and more will draw shear, moment, slope, and displacement diagrams for beams with n redundant supports Mohr's circles can be drawn with one line of code for either stress or strain methods are developed for three-dimensional representation of stress on beam cross-sections All function files available VIA FTP from the MathWorks.
Cult of Information, 2nd edition
Authors: Theodore Roszak
Venue:  (1994)

:As we devote ever-increasing resources to providing, or prohibiting, access to information via computer, Theodore Roszak reminds us that voluminous information does not necessarily lead to sound thinking. "Data glut" obscures basic questions of justice and purpose and may even hinder rather than enhance our productivity. In this revised and updated edition of The Cult of Information, Roszak examines the place of computer technology in our culture in the 1990s.
Combinatorial optimization problems in self-assembly
Authors: Len Adleman, Qi Cheng, Ashish Goel, Ming-Deh Huang, David Kempe, Pablo Moisset de Espanés, Paul Wilhelm Karl Rothemund
Venue: Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (2002)

Self-assembly is the ubiquitous process by which simple objects autonomously assemble into intricate complexes. It has been suggested that intricate self-assembly processes will ultimately be used in circuit fabrication, nano-robotics, DNA computation, and amorphous computing. In this paper, we study two combinatorial optimization problems related to efficient self-assembly of shapes in the Tile Assembly Model of self-assembly proposed by Rothemund and Winfree [18]. The first is the Minimum Tile Set Problem, where the goal is to find the smallest tile system that uniquely produces a given shape. The second is the Tile Concentrations Problem, where the goal is to decide on the relative concentrations of different types of tiles so that a tile system assembles as quickly as possible. The first problem is akin to finding optimum program size, and the second to finding optimum running time for a "program" to assemble the shape.Self-assembly is the ubiquitous process by which simple objects autonomously assemble into intricate complexes. It has been suggested that intricate self-assembly processes will ultimately be used in circuit fabrication, nano-robotics, DNA computation, and amorphous computing. In this paper, we study two combinatorial optimization problems related to efficient self-assembly of shapes in the Tile Assembly Model of self-assembly proposed by Rothemund and Winfree [18]. The first is the Minimum Tile Set Problem, where the goal is to find the smallest tile system that uniquely produces a given shape. The second is the Tile Concentrations Problem, where the goal is to decide on the relative concentrations of different types of tiles so that a tile system assembles as quickly as possible. The first problem is akin to finding optimum program size, and the second to finding optimum running time for a "program" to assemble the shape.We prove that the first problem is NP-complete in general, and polynomial time solvable on trees and squares. In order to prove that the problem is in NP, we present a polynomial time algorithm to verify whether a given tile system uniquely produces a given shape. This algorithm is analogous to a program verifier for traditional computational systems, and may well be of independent interest. For the second problem, we present a polynomial time $O(\log n)$-approximation algorithm that works for a large class of tile systems that we call partial order systems.
Rhapsody Developer's Guide, 1st edition
Authors: Jesse Feiler
Venue:  (1997)

:Apple's new operating system is code-named Rhapsody, and is based on the software acquired in the purchase of NeXT. The book's emphasis is on the types of applications that Macintosh developers are familiar with and likely to develop given Rhapsody's expanded functionality.
Understanding Programming Languages, 1st edition
Authors: Monti Ben-Ari
Venue:  (1996)

:This book compares constructs from C with constructs from Ada in terms of levels of abstractions. Studying these languages provides a firm foundation for an extensive examination of object-oriented language support in C++ and Ada 95. It explains what alternatives are available to the language designer, how language constructs should be used in terms of safety and readability, how language constructs are implemented and which ones can be efficiently compiled and the role of language in expressing and enforcing abstractions. The final chapters introduce functional (ML) and logic (Prolog) programming languages to demonstrate that imperative languages are not conceptual necessities for programming.
Guide to Effective Healthcare Information and Management Systems and the Role of the Chief Information Officer, 3rd Edition, 3rd edition
Authors: Joe Shapiro
Venue:  (2000)

:Few would argue that healthcare is the most complex industry in human history and that it is going through tremendous change. This publication offers a sampling of solutions developed by industry leaders who live the complexity and change every day - it is a text for Information Systems leaders by Information Systems leaders .Each chapter has five main sections: Chapter Intent; Background; Methodology; Case Studies; and Summary. The Chapter Intent is s statement of each chapter's major points included for the reader to decide which chapters to read first. It is found on each chapter's title page with the authors. The Background offers past and current trends and, if supplied, any of the author's personal research. The Methodology contains a description of the factors or model used to analyze the chapter topic. The Case Studies section provides anywhere from one to eight case studies. The Summary can be a final statement of what has been presented and/or what the future may hold. The authors' biographies are found after the references in each chapter while the reviewers' biographies called, "About the Reviewers," appear after the table of contents. 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
Peoplesoft Application Development Tools, 1st edition
Authors: Jami Clott
Venue:  (1999)

:Fills a huge documentation gap (PeopleSoft products are widely popular but sorely lacking in accessible documentation). Step-by-step help on customizing this enterprise software to meet specific needs. Ground-up approach assumes no prior knowledge of PeopleSoft. Expert authors lead the PeopleSoft technical training program for a Big Six consulting firm 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
PARDIS: CORBA-based architecture for application-level parallel distributed computation
Authors: Katarzyna Keahey, Dennis Gannon
Venue: Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM) (1997)

Modern technology provides the infrastructure necessary to develop distributed applications capable of using the power of multiple supercomputing resources and exploiting their diversity. The performance potential offered by distributed supercomputing is enormous, but it is hard to realize due to the complexity of programming in such environments. In this paper we introduce PARDIS, a system designed to overcome this challenge, based on ideas underlying the Common Object Request Broker Architecture (CORBA), a successful industry standard. PARDIS is a distributed environment in which objects representing data-parallel computations, called SPMD objects, as well as non-parallel objects present in parallel programs, can interact with each other across platforms and software systems. Each of these objects represents a small encapsulated application and can be used as a building block in the construction of powerful distributed metaapplications. The objects interact through interfaces specified in the Interface Definition Language (IDL), which allows the programmer to integrate within one metaapplication components implemented using different software systems. Further, support for non-blocking interactions between objects allows PARDIS to build concurrent distributed scenarios.
The Tab Electronics Technician's on-Line Resource Reference
Authors: Stephen J. Bigelow
Venue:  (1996)

:The first comprehensive reference featuring on-line technical information,this manual is ideal for professional electronics and computer technicians,students of electronics,and enthusiasts. A hands-on tool that bypasses the growing information glut on the Internet,it lists sites for major manufacturers and other suppliers,for which actual access strings are provided,and surveys the resources available at each site. Organized into five chapters,the book demonstrates how to get onto and use the Internet,and offers a listing of on-line resources,an index of mail lists and news groups,and resource cross-references. Two appendices contain an Internet glossary and an overview of file compression. The Information Super Highway Is Jammed With Technical Support Data. This Book Is Your Express Lane. The Internet has rapidly become a major outlet for PC and electronics manufacturers. But along with this dynamic growth has come information gridlock. In fact,for electronics and computer technicians attempting to access technical data and support on-line,half the battle is knowing where to look. Fortunately,they need look no further. The Tab Electronics Technician's On-line Resource Reference deals exclusively with on-line electronics and computer resources,and cuts through the mass of data on the Internet. Quickly and efficiently,it connects technicians,students of electronics,and enthusiasts with sites for major manufacturers and other suppliers,complete with actual access strings. Much more than a directory,this incomparable guide also surveys the types of resources available at every site. Organized into five chapters,The Tab Electronics Technician's On-line Resource Referencedemonstrates how to get onto and use the Internet,and includes a listing of on-line resources,an index of mail lists and news groups,and resource cross-references. Two appendices contain an Internet glossary and an overview of file compression. With traditional telephone-based technical support functions being phased out as more companies go on-line,this reference will be required reading for professional electronics technicians and hobbyists alike.
A real options design for quality control charts
Authors: Harriet Black Nembhard, Leyuan Shi, Mehmet Aktan
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

We develop a financial model for a manufacturing process where quality can be affected by an assignable cause. We evaluate the options associated with applying a statistical process control chart using pentanomial lattice and Monte Carlo simulation methods. By connecting the aspects of market dynamics with the manufacturing operational aspects, we now have a way to help decision makers address the bottom-line profitability associated with the quality control decision.
Xilinx Student Edition 1.3, 1st edition
Authors: CORPORATE Xilinx Inc
Venue:  (1997)

:This book shows the reader how to construct digital logic circuits using two types of FPLDs from XILINX, Inc.: programmable logic arrays (FPGAs) and complex programmable logic devices (CPLDs). The text's philosophy is based on the idea that digital design expertise is acquired by building circuits to see how they work. Each chapter presents working examples of logic circuits which the reader can experiment with by loading into either a XILINX FPGA or CPLD. While some theory of logic design is presented, the overall tone is more practical. It can be understood by anyone with a knowledge of binary arithmetic and elementary logic operations. 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
An on-the-fly reference counting garbage collector for Java
Authors: Yossi Levanoni, Erez Petrank
Venue: ACM SIGPLAN Notices (2001)

Reference counting is not naturally suitable for running on multiprocessors. The update of pointers and reference counts requires atomic and synchronized operations. We present a novel reference counting algorithm suitable for a multiprocessor that does not require any synchronized operation in its write barrier (not even a compare-and-swap type of synchronization). The algorithm is efficient and may complete with any tracing algorithm.
The joy of patterns: using patterns for enterprise development
Venue: Software Patterns Series (2001)

Take the struggle out of learning about design patterns! Through example-based teaching, The Joy of Patterns reveals the essence of design patterns as an advanced language for describing system design. This book illustrates how to build more efficient, robust, and reusable designs with this powerful programming paradigm. Design patterns have been used as integral techniques for creating better software, but getting started with design patterns has never been easy. Beginning with a description of the rationale behind design patterns, the discussion moves on to an overview of the basic pattern form, and then to a brief review of object-oriented concepts. Following this crucial background, the author presents a series of system design examples from initial conception all the way through code, discussing key design goals and the pros and cons of using various design patterns. Code is presented in Java, C++, and Visual Basic. The reader will gain insight into the inherent forces at work in the application design and the most effective application of numerous core design patterns as solutions to recurring programming problems.
Common KADS Library for Expertise Modelling, 1st edition
Authors: Van de velde Breuker
Venue:  (1994)

:The reuse of abstract models of problem solving is a major step towards cost effective and quality assured knowledge based system (KBS) development. To enhance flexible reuse, these models can be broken down into reusable components, containing artificial problem solving methods and ontologies of domain models. A library of these models and components has been constructed as part of the CommonKADS methodology, and its presentation in the book allows application independent of a particular methodology, or tools for implementing KBS's. This book contains the most comprehensive collection available of modelling components for contructing `second generation' KBS. The components problem solving methods and domain ontologies are described and explained within a unifying framework and completed by typology of problems diagnosis, design and their interdependencies. The second part of the book contains the Library itself, enhanced by a description of the rational of different approaches.
Microsoft Office 2000 Expert Companion
Authors: Reed Jacobson
Venue:  (1999)

:Learn how to get the maximum performance out of software through optimization, customization, and a thorough understanding of the advanced functions. This title is unique in that it offers the most advanced treatment of Office aimed at the power user/super user, with highly prized third-party utilities on the CD-ROM.
Playful World
Authors: Mark Pesce
Venue:  (2000)

:As you read these words, the architects of the new virtual reality are inventing a world you never imagined: call it the playful world. It's a world of interactive, Web-based toys that instantly collapse the gulf between wish and existence, space and time, animate and inanimate. It's a world where the entire fabric of the material world becomes manipulable, programmable, mutable. Situated at the crossroads of high technology and popular culture, the playful world is taking shape at the speed of electronic creativity.In this spellbinding new book, Mark Pesce, one of the pioneers in the ongoing technological revolution, explores how a new kind of knowing and a new way of creating are transforming the culture of our time. It started, bizarrely enough, with Furbys, the first toys that had the "will" to grow and interact intelligently with their envirnoment. As Pesce argues, Furbys, for all their cloying cuteness, were a vital sign of a new human endeavorthe ability to copy part of our own intelligence into the physical world.But engineers of the playful world have already gone much further into considerably stranger virtual realms. Pesce takes us insede the world's cutting-edge research facilities where the distinction between bits and atoms is rapidly dissolving. We mee the creators of LEGO Mindstorms, a snap-together plastic device that intelligently controls motors and processes data from sensors. We watch technological geniuses like Marvin Minsky and Eric Drexler turn the theoretical breakthroughs of Nobel laureate Richard Feynman into "nanites"tiny ultra-high-speed computers that replicate intelligent life. We observe the alunch of the amazing and much-anticipated Sony Playstation 2, a platform that will allow us to bring synthetic worlds into the homeand create a gateway to the living planet.Web-based toys are only the beginningthe first glimmer of a new reality that is transforming our entire culture with incredible speed and power. After all, thanks to the computer revolution and the Internet, we already command powers taht just a generation ago would have been described as magical. Magic is about to take on a whole new dimension. In this dazzling book, Mark Pesce offers a mind-bending preview of the incredible future that awaits us all in The Playful World.
Inside IntranetWare
Authors: Doug Bierer
Venue:  (1997)

:Inside IntranetWare is filled with everything you need to know to understand and successfully build a functional network. Written by authors with years of experience, this guide not only allows novice network technicians to get up to speed on Novell technology, but also provides advanced tips and information for experienced network technicians who need a valuable reference. Using hundreds of real-world examples of login scripts, batch files, menu file,s UIMPORT scripts, custom programs, and Web documents, this comprehensive resource covers the most important NetWare concepts and procedures. You'll explore Windows NT and IntranetWare integration, learn how to install and configure the NetWare Web Server, find out how to set up a corporate intranet, uncover the intricacies of Novell Directory Services, and obtain the most up-to-date information on Windows 95 and NetWare integration. Plus, you'll get expanded coverage of the NetWare MultiProtocol Router and the NetWare IPX/IP Gateway.
The Virtual Guitarist: Hardware, Software and Websites for the Guitarist
Authors: Frederick M. Noad
Venue:  (1998)

:For the guitarist - in folk, classical, or rock styles - the book provides a basic introduction to computers and technology; an overview of MIDI and how computers generate and record sounds; a comprehensive review of popular scoring programs, from SpeedScore to Encore and Finale; a primer on direct-to-disk recording; information on how computers can recognize sheet music and make MIDI files from it; a catalog of popular programs that teach basic musical skills, such as Practica Musica and Voyager CD-ROMs; an introduction to the Internet and sites specifically oriented to guitar; directions on how to make your own Home Page; and a guide to safe and happy shopping experiences on the Net. Whether you play heavy metal or flamenco - and whether you use an IBM PC or Apple Macintosh machine - this book will provide everything you need to know to get up and running in the digital world. 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
Rescued by Upgrading Your PC, 2nd edition
Authors: Kris A. Jamsa
Venue:  (1996)

:With over 150000 copies sold of the previous editions, Rescued by Upgrading Your PC, Third Edition continues in the easy to follow step-by- step format, which has made it a Publishers Weekly best seller. 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