ppxscal/embedding_network huggingface dataset:
Programming dynamically reconfigurable open systems with SALSA
Authors: Carlos Varela, Gul Agha
Venue: ACM SIGPLAN Notices (2001)

Applications running on the Internet, or on limited-resource devices, need to be able to adapt to changes in their execution environment at run-time. Current languages and systems fall short of enabling developers to migrate and reconfigure application sub-components at program-execution time.In this paper, we describe essential aspects of the design and implementation of SALSA, an actor-based language for mobile and Internet computing. SALSA simplifies programming dynamically reconfigurable, open applications by providing universal names, active objects, and migration. Moreover, SALSA introduces three language mechanisms to help programmers coordinate asynchronous, mobile computations: token-passing continuations, join continuations and first-class continuations.We provide some examples which illustrate how SALSA programs are not only dynamically reconfigurable and open, but also much more concise and easier to follow than comparable Java code. Furthermore, we provide empirical results which show SALSA's performance to be better than Java code using an actor library, and which illustrate the difference between local, local area, and wide area communication and migration. Finally, we discuss the implementation of our preprocessor which translates SALSA code into Java.
Accessing delay queues
Authors: A. Burns, A. J. Wellings
Venue: ACM SIGAda Ada Letters (2002)

A number of flexible scheduling schemes can be programmed in Ada 95 by combining the more advanced features the language provides. For example, imprecise computations would appear to be accommodated by the use of ATCs (with timing triggers) and dynamic priorities. Unfortunately with this type of scheme, it is difficult to ensure that the priority of the task, following the triggering event, is at the appropriate level. This problem is investigated and a potential solution is described. It involves opening up the implementation of the delay queue so that application code can be executed directly when the time is right.
Code and Other Laws of Cyberspace
Authors: Lawrence Lessig
Venue:  (1999)

:Should cyberspace be regulated? How can it be done? It's a cherished belief of techies and net denizens everywhere that cyberspace is fundamentally impossible to regulate. Harvard Professor Lawrence Lessig warns that, if we're not careful we'll wake up one day to discover that the character of cyberspace has changed from under us. Cyberspace will no longer be a world of relative freedom; instead it will be a world of perfect control where our identities, actions, and desires are monitored, tracked, and analyzed for the latest market research report. Commercial forces will dictate the change, and architecturethe very structure of cyberspace itselfwill dictate the form our interactions can and cannot take. Code And Other Laws of Cyberspace is an exciting examination of how the core values of cyberspace as we know itintellectual property, free speech, and privacy-are being threatened and what we can do to protect them. Lessig shows how codethe architecture and law of cyberspacecan make a domain, site, or network free or restrictive; how technological architectures influence people's behavior and the values they adopt; and how changes in code can have damaging consequences for individual freedoms. Code is not just for lawyers and policymakers; it is a must-read for everyone concerned with survival of democratic values in the Information Age.
Finiteness and Regularity in Semigroups and Formal Languages
Authors: Aldo De Luca, Stefano Varricchio
Venue:  (1999)

:This is a rigorous and self-contained monograph on a central topic in theoretical computer science. For the first time in book form, original results from the last ten years are presented, some previously unpublished, using combinatorial and algebraic methods.
Dynamic E-Business Implementation Management: How to Effectively Manage E-Business Implementation, 1st edition
Authors: Bennet P. Lientz, Kathryn P. Rea
Venue:  (2000)

:Implementing e-business requires a dynamic approach that can respond to changes in technology, management direction, customer and supplier behavior, and competition. Many traditional project management methods don't work with e-business. This book presents proven real world management methods that are adaptive, dynamic, and flexible in an e-business environment. It tackles the central issues of e-business: the burgeoning market for "buy-side" extranet/Internet procurement and supply chain management/business-to-business, Web-based transactions. This Book Enables the Reader to: Set up an e-business implementation plan using proven project templates Anticipate and cope with dynamic change during e-business implementation Encourage and motivate the e-business team to participate in project management and resolving issues Deal with e-business implementation issues and crises Address 100 specific e-business management issues Communicate effectively with management on e-business Share and allocate resources among e-business and other work Manage e-business teams of business staff, vendors, and IT Gather and use e-business lessons learned as the basis for expanding and improving future e-business efforts Answers Questions Such as: What are critical success factors in e-business implementation? How do you get employees and managers to participate in e-business? How do you set up your e-business implementation plan fast? How do you share resources between e-business and other work? How do you use project templates and modern software tools to increase your chance of e-business success? How do you manage and control risk in your e-business project? How do you direct large-scale e-business efforts in the real world?
Semiconcave Control-Lyapunov Functions and Stabilizing Feedbacks
Authors: Ludovic Rifford
Venue: SIAM Journal on Control and Optimization (2002)

We study the general problem of stabilization of globally asymptotically controllable systems. We construct discontinuous feedback laws, and particularly we make it possible to choose these continuous outside a small set (closed with measure zero) of discontinuity in the case of control systems which are affine in the control; moreover this set of singularities is shown to be repulsive for the Carathéodory solutions of the closed-loop system under an additional assumption.
Quick Course in Microsoft Office 2000
Venue:  (2000)

:Microsoft Office 2000 Professional includes Excel, Word, Outlook, PowerPoint, Access, Small Business Tools (small business customer manager, small business financial manager, direct mail manager), and Internet Explorer 5. Microsoft Office has established a position as the most efficient suite of applications for document creation, communication, and business information analysis. For many functions, the business platform has evolved from printed output to the Web. Office 2000 is the desktop suite for knowledge workers that makes the Web work for users, streamlining the process of working with people and information to get better results. Office 2000 offers a multitude of new features. Many are specific to one of the applications that make up the suite, but of particular importance for this release are the features that affect the entire suite. These Office-wide, or shared, features hold the key to the new realm of functionality enabled by Office 2000. Development in the following key areas provides organizations with a significant upgrade over previous versions of Office: Web-enabled collaboration and information sharing. Office 2000 offers a new Web-productivity work style that integrates core productivity tools with the Web to streamline the process of sharing information and working with others. Rich analysis tools for better decision making. Office 2000 makes it easier to use an organization's Intranet to access vital business information and provides innovative analysis tools that help users make better, more timely business decisions. Software that is easy to use and manage. Office 2000 delivers new levels of resiliency and intelligence, enabling users and organizations to get up and running quickly, stay working and achieve great results with fewer resources.
Expert Systems: Principles and Programming, 2nd edition
Authors: Joseph C. Giarratano, Gary Riley
Venue:  (1994)

:This new edition combines a thorough, balanced treatment of theory and practice with a complete package of CLIPS 6.0 software tools for developing expert systems. It features a balanced blend of expert systems theory and practice; a detailed presentation of CLIPS Version 6.0, a rule-based programming language for expert systems design; and an IBM PC 3 1/2'' disk which contains the complete CLIPS 6.0 executable shell and sample programs for developing expert systems.
Open Systems LANS: and their global interconnection
Authors: Jack Houldsworth, Alan Flatman, Mark Taylor, Keith Caves
Venue:  (1992)

:Open System Lans and their Global Interconnection is a 'Source Book' on Local Area Network Technology, with the main emphasis on Open Systems Interconnection Standards (OSI).It contains comprehensive information on all aspects of LAN systems from copper and fibre wiring too the Media Access Control systems for Ethernet (CSMA/CD), Token Ring, Token Bus, Slotted ring and FDII LAN technologies.
Oracle Developer Forms Techniques
Authors: Bulusu Lakshman
Venue:  (2000)

:Oracle Developer Forms Techniques describes the concepts and techniques needed to build Web-enabled applications with Forms. The book covers advanced topics in great detail, including understanding and overcoming error handling limitations in Forms, such as errors which cannot be tracked through normal FORM_SUCCESS or FORM_FAILURE, ordering by items based on FK look-ups, obtaining Query Count without actually executing a query, and performing an exclusive server-side commit from Forms. The book also covers object-oriented methods in Forms, and Intelligence in Forms. Code segments are provided to help developers implement these techniques, thus easing application development time and effort.
Digital Places: Building Our City of Bits
Authors: Thomas A. Horan
Venue:  (2000)

:In Digital Places, Tom Horan argues that cities can be both "wired" and livable and that electronic technology can be used to create gratifying digital places that will attract both people and businesses. In the opening chapter Horan establishes a framework for understanding how digital places can be created at the setting, community, and regional levels. He explains how the changing nature of where and what we do affects design, the importance of integrating new designs with the traditional uses of places, and how a range of users can be involved in the process of creating digital place designs. Drawing on practical examples, Horan illustrates how electronic technology is affecting the bricks and mortar of the places where we live and work. He reviews several innovative home, work, and retail designs and offers specific advice on designing for multiple and changing uses. At the community level, Horan examines new library, school, and community center developments, highlighting the key role they play in driving new forms of public spaces and networks. Next, the author focuses on the impact of several high-profile silicon "valleys, alleys, hills, and fields" on cities and regions. He identifies the hard and soft infrastructure necessary to attract high-wage technology companies, while limiting sprawl and its negative effects. Based on lessons learned over the past few years, the final chapter offers a blueprint for digital place planning. Horan identifies the roles that the public and private sectors can play in incorporating digital technology into design and creating their own "city of bits." Using concrete, practical examples and illustrations, Horan describes how to guide the incorporation of electronic technology to develop the thriving places of tomorrow. With a foreword by William J. Mitchell, dean of the school of Architecture and Planning at MIT and author of the 1996 publication City of Bits, this book expands upon Mitchell's concept of recombinant architecture by describing how digital technology can be "spliced" into the recomposition of our homes, offices, communities, and cities to achieve optimal forms of space and place.
IEEE 3rd International Conference on Algorithms and Architectures for Parallel Processing
Authors: IEEE Aerospace & Electronics Systems Society, IEEE Victorian Section
Venue:  (1997)

:The ICA PP-97 Proceedings comprises a well defined set of S papers in the area of parallel processing. Specific topics covered in the S include: basic issues of Algorithms and Architectures for Parallel Processing; Parallel Processing Prospects; routing in Parallel Computer Systems; special-purpose Parallel Architectures; operating Environments; scheduling; parallelisation and Parallelising Computers; computing on Clusters of Workstations; parallel Algorithms; parallel Applications; parallel Algorithms and Architectures for Neural Program; databases and Parallel Processing. Held in Melbourne, Australia, this important conference brought together developers and researchers from universities, industry and government to advance the level of knowledge for parallel and distributed systems and processing.
Feedforward Neural Network Methodology, 1st edition
Authors: Terrence L. Fine
Venue:  (1999)

:This monograph provides a through and coherent introduction to the mathematical properties of feedforward neural networks and to the computationally intensive methodology that has enabled their highly successful application to complex problems of pattern classification, forecasting, regression, and nonlinear systems modeling.
Commentary on: "Little Machines: Understanding Users Understanding Interfaces"
Authors: Kathy Haramundanis
Venue: ACM Journal of Computer Documentation (JCD) (2001)

Online materials, as Johnson-Eilola points out, too often provide speed but neither learning nor conceptual information. Minimum information is often provided in help systems because there are no resources to provide more. But the result is often a system that, without any conceptual information, provides little more than help that is so obvious that it ceases to be helpful. Even when resources are constrained, help systems should, at a minimum, refer to external sources that can help users with important concepts behind the tasks they are trying to perform.
Red Hat Linux 7 for Dummies with Cdrom, 2nd edition
Authors: Jon Hall, Paul G. Sery
Venue:  (2000)

:Complete version of Red Hat Linux 7 on 3 CD-ROMs Set up Red Hat® Linux® 7 as your all-in-one workstation The fun and easy way to set up, connect to the Net and get to work This friendly guide shows you step-by-step how to install Red Hat Linux on your personal computer  and declare independence from Windows®. From setting up e-mail to working with Red Hat Linux applications, it delivers just what you need to put Linux to work. all this on 3 bonus CD-ROMs Includes the complete version of Red Hat Linux 7 Plus firewall scripts, Internet utilities, games, tools to create images, and more! System requirements: Intel 486 and higher PC with hard drive, CD-ROM drive, and 3 1/2″ floppy drive. See CD Appendix for more information about using the CD-ROMs. Discover how to: Install Red Hat Linux 7, step-by-step Connect to the Internet Troubleshoot installation glitches Work with files and directories Download and install RealPlayer 7 Get up to speed with StarOffice Secure your computer with a firewall Get smart! Register to win cool prizes Browse exclusive articles and excerpts Get a free Dummies Daily e-mail newsletter Chat with authors and preview other books Talk to us, ask questions, get answers
Visual Basic 6 Distributed Applications: Exam 70-175
Authors: Michael Gellis, Yair Alan Griver
Venue:  (1999)

:The "Visual Basic 6 Distributed Applications" exam is one of the core exams for the new 1999 Microsoft Certified Solutions Developer (MCSD) certification. This Microsoft-approved study guide uses the same presentation and teaching strategy as the books in Sybex's best-selling MCSE Test Success Series. This exam determines the proficiency of Visual Basic programmers who must create and debug network, intranet, or internet applications in the course of their jobs. This concise, easy-to-use book contains all of the information that you need to know to pass the MCSD exam--plus 400-600 review questions to make sure you retain that knowledge! The book also includes a practice exam with 150-200 sample test questions to help you tune your test-taking skills. |
90 Days to Launch: Internet Projects on Time and on Budget
Authors: Shayne Gilbert
Venue:  (2001)

:Based on the author's extensive experience working with clients such as Lucent Technologies, Hay/McBer, and Fleet Bank, this guidebook outlines how to formulate and manage a budget, assemble a project team, develop the project timeline, and efficiently launch your site. It offers a field-proven framework to help you streamline the management process for all types of internet projects, especially those that are e-commerce focused. 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
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
Authors: Ruben A. Gamboa
Venue: Formal Methods in System Design (2002)

The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give simple descriptions to very complex algorithms, such as the Fast Fourier Transform (FFT). Such simplicity in presentation facilitates reasoning about the resulting algorithms, and in fact Misra has presented a stunningly simple proof of the correctness of the FFT. In this paper, we show how this proof can be mechanically verified using the ACL2 theorem prover. This supports Misra's belief that powerlists provide a suitable framework in which to define and reason about parallel algorithms, particularly using mechanical tools. It also illustrates the use of ACL2 in the formal verification of a distributed algorithm.
Residual Replacement Strategies for Krylov Subspace Iterative Methods for the Convergence of True Residuals
Authors: Henk A. van der
Venue: SIAM Journal on Scientific Computing (2000)

In this paper, a strategy is proposed for alternative computations of the residual vectors in Krylov subspace methods, which improves the agreement of the computed residuals and the true residuals to the level of O(u) ||A|| ||x||. Building on earlier ideas on residual replacement and on insights in the finite precision behavior of the Krylov subspace methods, computable error bounds are derived for iterations that involve occasionally replacing the computed residuals by the true residuals, and they are used to monitor the deviation of the two residuals and hence to select residual replacement steps, so that the recurrence relations for the computed residuals, which control the convergence of the method, are perturbed within safe bounds. Numerical examples are presented to demonstrate the effectiveness of this new residual replacement scheme.
Using Information Technology: A Practical Introduction to Computers and Communications
Authors: Brian K. Williams, Stacey C. Sawyer, Sarah E. Hutchinson
Venue:  (1995)

:Using Information Technology,4/e integrates solid,practical coverage of communications and the Internet/WWW throughout while covering the fundamental computing concepts surrounding the digital age including software,hardware,data,people,and procedures. The 4/e incorporates the strong running themes listed below,all centered around educating today's consumer and demonstrating how the changing world of technology has such a major influence on our lives and the decisions we make with regard to the challenges faced as well as the endless promises that lie ahead. 5integrated running themes key to creating a savvy,internet consumer include: 1) How to Buy/Maintain a PC 2) The Nuts and Bolts of a PC 3) How to Select an Internet Service Provider (ISP) and Getting Connected 4) How to Be a Smart Internet Consumer 5) Ethical Issues Related to Protecting Your Identity from Getting Stolen
Applying patterns to develop a pluggable protocols framework for ORB middleware
Authors: Douglas C. Schmidt, Carlos O'Ryan, Ossama Othman, Fred Kuhns, Jeff Parsons
Venue: Design patterns in communications software (2001)

To be an effective platform for performance-sensitive applications, off-the-shelf CORBA middleware must preserve the communication-layer quality of service (QoS) properties of applications end-to-end. However, the standard CORBA GIOP/IIOP interoperability protocols are not well-suited for applications with stringent message footprint size, latency, and jitter requirements. It is essential, therefore, to develop standard pluggable protocols frameworks that allow custom messaging and transport protocols to be configured flexibly and used transparantly by applications. This chapter provides three contributions to the study of pluggable protocols frameworks for performance-sensitive CORBA middleware. First, we outline the key design challenges faced by pluggable protocols developers. Second, we describe how we resolved these challenges by developing a plug-gable protocols framework for TAO, which is our high-performance, real-time CORBA-compliant ORB. Third, we present the results of benchmarks that pinpoint the impact of TAO's pluggable protocols framework on its end-to-end efficiency and predictability. Our results demonstrate how the application of optimizations and patterns to CORBA middleware can yield both highly flexible/reusable designs and highly efficient/predictable implementations. These results illustrate that (1) CORBA middleware performance is largely an implementation detail and (2) the next generation of optimized, standards-based CORBA middleware can replace many ad hoc and proprietary solut
A system for computer generated movies
Authors: Edwin Catmull
Venue: Proceedings of the ACM annual conference - Volume 1 (1972)

With the recent developments in fast hidden surface algorithms and a method for smooth shading of half-tone pictures, it has become feasible to generate useful movies with the computer. This paper describes a system used to make computer generated movies. It also explains the methods used to attempt to solve the problems of object representation, object manipulation, concurrent motion, and ease of specifying motion. The system was first used to make a movie of a hand that lasts for little more than a minute.
Paying with Plastic: The Digital Revolution in Buying and Borrowing
Authors: David Evans, Richard Schmalensee
Venue:  (2000)

:In Paying with Plastic, David Evans and Richard Schmalensee provide a nontechnical distillation of their years of research on the economic, technological, and institutional forces that have shaped the payment card industry. They show how competition works in an industry that does not neatly fit any of the standard economic models. They describe how the entrepreneurs in this industry solved the chicken-and-egg problem: merchants will not take cards if few consumers use them, and consumers will not use cards if few merchants take them. They also describe how the payment card companies such as MasterCard and Visa have developed complex systems for coordinating transactions among their thousands of bank members and millions of cardholders and accepting merchants. Evans and Schmalensee also describe recent developments in the industry and consider its likely evolution.