ppxscal/embedding_network huggingface dataset:
Lazy Garbage Collection of Recovery State for Fault-Tolerant Distributed Shared Memory
Authors: Florin Sultan, Thu D. Nguyen, Liviu Iftode
Venue: IEEE Transactions on Parallel and Distributed Systems (2002)

Editor's Note: This paper unfortunately contains some errors which led to the paper being reprinted in the October 2002 issue. Please see IEEE Transactions on Parallel and Distributed Systems,vol. 13, no. 10, October 2002,pp. 1085-1098 for the correct paper (available without subscription).In this paper, we address the problem of garbage collection in a single-failure fault-tolerant home-based lazy release consistency (HLRC) distributed shared-memory (DSM) system based on independent checkpointing and logging. Our solution uses laziness in garbage collection and exploits consistency constraints of the HLRC memory model for low overhead and scalability. We prove safe bounds on the state that must be retained in the system to guarantee correct recovery after a failure. We devise two algorithms for garbage collection of checkpoints and logs, checkpoint garbage collection (CGC), and lazy log trimming (LLT). The proposed approach targets large-scale distributed shared-memory computing on local-area clusters of computers. In such systems, using global synchronization or extra communication for garbage collection is inefficient or simply impractical due to system scale and temporary disconnections in communication. The challenge lies in controlling the size of the logs and the number of checkpoints without global synchronization while tolerating transient disruptions in communication. Our garbage collection scheme is completely distributed, does not force processes to synchronize, does not add extra messages to the base DSM protocol, and uses only the available DSM protocol information. Evaluation results for real applications show that it effectively bounds the number of past checkpoints to be retained and the size of the logs in stable storage.
Understanding Digital Photography, 1st edition
Authors: J. Ippolito
Venue:  (2002)

:Written by a photographer for photographers, Understanding Digital Photography explains not only how to do something in the world of digital photography but, more importantly, why it should be done! Straightforward, easy-to-understand explanations of critically important digital photography concepts are grounded in traditional photographic processes. This allows novices to gain an appreciation of the historical evolution of digital photography as they gain new skills while permitting experienced photographers to quickly bridge the gap between traditional and digital photographic mediums. Drawing upon insights gleaned from more than twenty (20) years of experience as a successful commercial and fine art photographer, the author places the utmost emphasis on equipping his readers with clear-cut explanations of digital photography techniques plus practical examples of how they apply to real-life situations. It is this no-nonsense approach to demystifying digital photography that makes Understanding Digital Photography a "must" for every student, hobbyist, and professional that wants to harness the power of this exciting technology and open new doors to creativity. 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
Alias annotations for program understanding
Authors: Jonathan Aldrich, Valentin Kostadinov, Craig Chambers
Venue: ACM SIGPLAN Notices (2002)

One of the primary challenges in building and evolving large object-oriented systems is understanding aliasing between objects. Unexpected aliasing can lead to broken invariants, mistaken assumptions, security holes, and surprising side effects, all of which may lead to software defects and complicate software evolution.This paper presents AliasJava, a capability-based alias annotation system for Java that makes alias patterns explicit in the source code, enabling developers to reason more effectively about the interactions in a complex system. We describe our implementation, prove the soundness of the annotation system, and give an algorithm for automatically inferring alias annotations. Our experience suggests that the annotation system is practical, that annotation inference is efficient and yields appropriate annotations, and that the annotations can express important invariants of data structures and of software architectures.
Rewriting general conjunctive queries using views
Authors: Junhu Wang, Michael Maher, Rodney Topor
Venue: Proceedings of the 13th Australasian database conference - Volume 5 (2002)

The problem of rewriting queries using views has important applications in data integration, query optimization, and physical data independence maintenance. Previous researchers have proposed rewriting algorithms for queries and views that are Datalog programs or conjunctive queries with arithmetic comparisons such as x < y and y &ge; 10. We present a method for finding rewritings of general conjunctive queries, i.e, conjunctive queries with arbitrary built-in predicates, using views. Our method also has advantages over previous algorithms when there are no built-in predicates or when the built-in predicates are conjunctions of arithmetic comparisons. In particular, our method finds strictly more rewritings than the MiniCon [PL00] and the Shared-Variable-Bucket [Mit01] algorithms and tends to be more efficient when the built-in predicates of the query involve only distinguished variables. It finds all rewritings that can be found by the Bucket [LRO96] algorithm in most practical cases, and more efficiently. It finds maximum rewritings in several special cases.
Virtual Bio-Instrumentation: Biomedical, Clinical, and Healthcare Applications in LabVIEW with CD-ROM, 1st edition
Authors: Jon B. Olansen, Eric Rosow
Venue:  (2001)

:Bringing the power of virtual instrumentation to the biomedical community. Applications across diverse medical specialties Detailed design guides for LabVIEW and BioBench applications Hands-on problem-solving throughout the book Laboratory, clinical, and healthcare applications CD contains numerous VI's with source code, plus several demos Virtual instrumentation allows medical researchers and practitioners to combine the traditional diagnostic tools with advanced technologies such as databases, Active X, and the Internet. In both laboratory and clinical environments, users can interact with a wealth of disparate systems, facilitating better, faster, and more informed decision making. Virtual Bio-Instrumentation: Biomedical, Clinical, and Healthcare Applications in LabVIEW is the first book of its kind to apply VI technology to the biomedical field. Hands-on problems throughout the book demonstrate immediate practical uses Examples cover a variety of medical specialties Detailed design instructions give the inside view of LabVIEW and BioBench applicationsBoth students and practicing professionals will appreciate the practical applications offered for modeling fundamental physiology, advanced systems analysis, medical device development and testing, and even hospital management and clinical engineering scenarios.About the CD-ROM:The CD-ROM contains numerous virtual instruments along with source code to illustrate concepts and serve as building blocks for users' own projects. Demonstration copies of LabVIEW, BioBench, and other applications alonly build their own VI's, but also view some relevant tools already available in the biomedical market.
Java: Complete Course in Programming and Problem Solving
Authors: Kenneth Lambert, Martin Osborne
Venue:  (1999)

:This text engages a wide range of computer science students. Clear, detailed explanations teach the core principles of programming and problem solving with a modern programming language - Java. The book covers programming basics, data and information processing, object-oriented programming, graphical user interfaces, the software development lifecycle, and Web-based programming.
MCSE Networking Essentials Exam Cram (Adaptive Testing Edition)
Authors: Ed Tittel, James Michael Stewart, Kurt Hudson
Venue:  (1999)

:Large and small corporations around the world have moved to Microsoft's powerful NT 4 networking platform at a speed-of-light pace. Microsoft created the Microsoft Certified Systems Engineer (MCSE) program to help train professionals and officially certify them. Certification InsiderTM Press' MCSE Networking Essentials Exam Cram is especially designed and written by expert Microsoft Certified Trainers (MCTs) to help professionals study for and pass the Networking Essentials exam. The following key technical topics are covered: OSI model, network hardware and topology, data transmission and network protocols, network and Internet names, remote access and security, and hardware and protocols used for Wide Area Networks. Two complete practice exams feature questions designed to assess the reader's readiness to sit for the exam; the answers and explanations reinforce the reasoning behind the correct answers. Includes new information on adaptive test-taking strategies, plus our readers' favorites: warnings on trick questions, time-saving study tips, multiple-part question strategies, and shortcuts. One free practice exam password accessible on the Certification Insider Web Page, PLUS both of the practice exams found in the book also available on the Web. Cram Fitness Assessments give readers a way to determine how to proceed with certification by analyzing their educational and experiential background and their subject knowledge level in order to make suggestions about preparation and study. Features unique editorial content that serves as an ideal complement to all study guides and training courses and materials available for Exam #70-058: Networking Essentials.Provides a special Cram Sheet with tips, acronyms, and memory joggers that readers can take with them to the exam.
Inference rules for functional and inclusion dependencies
Authors: John C. Mitchell
Venue: Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems (1983)

A set &Sigma; of functional dependencies and inclusion dependencies implies a single dependency &sigma; if all databases (finite and infinite) which satisfy &Sigma; also satisfy &sigma;. This paper presents complete inference rules for deducing implications of inclusion and functional dependencies. The results of [5] suggest that the implication problem for functional and inclusion dependencies together has no simple axiomatization satisfying a natural set of conditions. Out of necessity, the inference rules presented here do not satisfy the conditions assumed in [5].
Managing Knowledge: An Essential Reader
Authors: Tim Ray
Venue:  (2001)

:Knowledge management is a topic of increasing popularity in management and organization studies, with new components being developed and taught at most universities today. This new Reader will provide the essential ingredients to students and academics for use on such courses, with a full introduction to the area and to the key readings included. Managing Knowledge: An Essential Reader combines key theoretical papers, critical case studies and newly written chapters to place knowledge management in the context of an emerging global economy. This essential course Reader offers a critical overview of underlying theory as well as a range of relevant examples from a global perspective. It will be essential reading on knowledge management courses.
Instant AutoCAD: Architectural Desktop 2.0 with Cdrom, 1st edition
Authors: Stephen J. Ethier, Christine A. Ethier
Venue:  (2000)

:The text contains a number of features that make the basic ideas more concrete and clear. These include: a list of Key Concepts at the start of each chapter an In a Nutshell conclusion of each chapter brief Hands-On labs throughout each chapter to reinforce newly learned concepts a Testing testing1, 2, 3 section of fill-in-the-blank, true-false, multiple choice, and matching questions at the end of each chapter a What? question section at the end of each chapter a Let's Get Busy list of related assignments at each chapter end a number of Tip boxes to introduce important ideas font enlargement of key ideas hundreds of drawings, menus, and icons to add clarity An Integrated CD-ROM Learning Assistant is included with this text: hands-on practice for all concepts presented in the text models for the creation of building components
Privacy
Authors: Susan H. Nycum
Venue: Proceedings of the 4th annual ACM SIGUCCS conference on User services (1976)

Privacy is a concern to user services people as individuals and as members of computer installations. The discussion will focus on the federal Privacy Act of 1974 as interpreted by the OMB Guidelines and state statutes and judicial opinions. The discussion will emphasize do's and don'ts for user service personnel in the conduct of their responsibilities so as to comply with the law.
Computer Aided Software/Hardware Engineering
Authors: Jerzy Rozenblit, Buchenrieder Klaus
Venue:  (1994)

:A collection of 21 invited chapters by leading researchers and practitioners, this comprehensive software/hardware codesign (CASHE). It covers all the latest research developments as well as practical application, showing you how to achieve optimal functionality and reduce system development time through the concurrent refinement of heterogeneous systems.
Information Hiding Techniques for Steganography and Digital Watermarking, 1st edition
Authors: Stefan Katzenbeisser, Fabien A. Petitcolas
Venue:  (2000)

:Steganography, a means by which two or more parties may communicate using "invisible" or "subliminal" communication, and watermarking, a means of hiding copyright data in images, are becoming necessary components of commercial multimedia applications that are subject to illegal use. This new book is the first comprehensive survey of steganography and watermarking and their application to modern communications and multimedia. Handbook of Information Hiding: Steganography and Watermarking helps you understand steganography, the history of this previously neglected element of cryptography, the hurdles of international law on strong cryptographic techniques, a description of possible applications, and a survey of the methods you can use to hide information in modern media. Included in this discussion is an overview of "steganalysis," methods which can be used to break steganographic communication. This comprehensive resource also includes an introduction to and survey of watermarking methods, and discusses this method's similarities and differences to steganography. You gain a working knowledge of watermarking's pros and cons, and you learn the legal implications of watermarking and copyright issues on the Internet.
Communication complexity for file synchronization is undecidable
Authors: Vijay Shivshanker Gupta
Venue: ACM SIGACT News (2002)

Wide-area wireless mobile computing environments present interesting challenges for the problem of file synchronization between laptop computers and servers in backbone networks. Wide-area wireless networks are bandwidth-constrained and expensive, thereby making it difficult to synchronize the files in an eager fashion. The problem of file synchronization for laptop computers has been actively studied for more than a decade, and one of the most intriguing questions has been "how little communication is sufficient for file synchronization?" Technically, this is equivalent to the question: "what is the communication complexity for file synchronization?" This article proves the undecidability of the communication complexity for update propagation in a replicated file system if one is willing to transmit operation-based updates.
Advanced HTML Companion, 2nd edition
Authors: Keith Schengili-Roberts, Kim Silk-Copeland
Venue:  (1998)

:Learn how to master the Web through this advanced guide to the ins and outs of HTML, the lingua franca of the Internet. This knowledge-packed how-to reference will equip you with the ammunition necessary to create powerful Web pages through the latest HTML innovations such as Style Sheets and Document Types. In covering the entire HTML spectrum, this book will appeal to beginners who are looking for a good grounding in HTML, experts who need a complete and in-depth reference, and those who are simply looking to stay on the cutting edge of Web technologies.
Codenotes for J2ee
Authors: Gregory Brill, John Gomez
Venue:  (2002)

:Gregory Brill is the series editor of CodeNotes and the founder and president of Infusion Development Corporation, a technology training and consulting firm that specializes in architecting securities trading and analytic systems for several of the world’s largest investment banks. He has written for C++ Users Journal, and is the author of Applying COM+. He lives in New York.
The Wave Probe Communication Mechanisms
Authors: Vassilis Tsaoussidis, A. Lahanas, C. Zhang
Venue: The Journal of Supercomputing (2001)

This paper is motivated by the modifications recently suggested to enhance TCP performance over wireless channels. We argue that TCP end-to-end error-control mechanism lacks the functionality to respond appropriately in situations where errors vary in nature, frequency, or duration. As a result, this mechanism could, under some circumstances, yield zero throughput achievements at high energy-cost, or degrade throughput performance without conserving energy. This incompetent behavior with respect to the energy/throughput tradeoff puts in question TCP's suitability as a universal, reliable transport protocol of choice, especially for battery-powered mobile devices for which energy is a critical resource and congestion is not the exclusive cause of errors.We propose &ldquo;Wave&rdquo; and &ldquo;Probing&rdquo; communication and control mechanisms that permit end-to-end protocols to detect congestion without necessarily experiencing packet drops, to distinguish random and burst errors from congestion, and, as conditions vary, to rapidly adjust the transmission window upwards or downwards depending on the nature of the error. We report extensively on the performance of these new mechanisms to demonstrate their energy-conserving and high-throughput capabilities.
Sams Teach Yourself ICQ in 24 Hours, 1st edition
Authors: Rogers Cadenhead, Preston Gralla
Venue:  (2000)

:Sams Teach Yourself ICQ in 24 Hours teaches you how to use this seemingly simple program. While the basic component of ICQ is the largely self-explanatory chat feature, the program's capabilities goes far beyond that. This book also teaches you how to use ICQ plug-ins that expand the capabilities of the program. You will learn how to find people you know via ICQ, make yourself invisible while on ICQ, and send voice, graphics, and text files via ICQ. Also see how to protect yourself from ICQ hackers, use ICQ as a personal assistant, and connect your phone to ICQ. ICQ is a powerful program with a user interface that hides some of its best features. Sams Teach Yourself ICQ in 24 Hours uncovers and teaches dozens of uses for the program that you may not have discovered on your own.
Sams Teach Yourself ASP.NET in 21 Days, 1st edition
Authors: Chris Payne
Venue:  (2001)

:Sams Teach Yourself ASP.NET in 21 Days will strive to introduce readers to ASP.NET through individual lessons contained in chapters. These lessons will begin with a thorough overview of the technology and framework involved, and gradually expand to more difficult lessons requiring deeper engineering skills and knowledge. Although each chapter will be self-contained, each subsequent chapter will build upon previous lessons to ensure that each topic is not only taught, but also used.The book will introduce the ASP.NET Framework, Visual Basic .NET, and C#, the new COM framework. The book will cover applications of these technologies. Sams Teach Yourself ASP.NET in 21 Days is the perfect book to introduce beginner and intermediate readers to the new technologies and frameworks presented by ASP.NET. By guiding readers through short but increasingly complex lessons, this book will give readers a strong foundation in ASP.NET, and the knowledge to develop their own creative solutions. Readers will delve into the new framework, the C# and Visual Basic programming languages, and techniques to approach difficult problems.
LMDS: Local Multipoint Distribution Service
Authors: Clint Smith
Venue:  (2000)

:*The first-out-of-the-gate reference on LMDS (Local Multipoint Distribution Services),the technology designed to carry voice,data,and video signals in two directionsane which may soon overtake DSL,cable,as a broadband delivery solution. *Offers wireless telecom managers and engineers a start-to-finish look at LMDS services,network operation and management,and implementationplus Network Design Guidelines. *Provides a clear picture of key issues and difficulties that arise in the initial stages of LMDS system design and deployment. This first-out-of-the-gate technical reference on LMDS (Local Multipoint Distribution Services),written by a leading communications consultant,can take you and your company to the winner's circle. LMDS provides all the technical know-how required to bring this highly competitive broadband system to market,while sidestepping complex math. Clint Smith's guide helps you make technical decisions and surmount RF,network,and management hurdles that confront those designing and implementing a LMDS or other broadband point to multipoint systems. The guide covers a multitude of topics ranging from:*Fundamental technology decisions related to multipoint systems,including Bandwidth on Demand (DBA),TDM,ATM,VoIP,Cable Systems,Wireless LAN,FDD and TDD*Understanding radio components which are integral to any multipoint system and their relationship to the performance and services offered*Business considerations involving marketing,services,dual-band strategies,projected user traffic,capital and operating expenses,capital authorization*RF design guidelines pertaining to a new or existing system,design considerations forTDM,IP and ATM networks relative to the services offered,and how to calculate demand estimation*Host terminal guidelines relative to demarcation,interface types,customer location qualification,customer survey methods,and installation issues*Implementation considerations for any point to multipoint system,including land use acquisition,site selection process,base station,host terminal and central office installation,in addition to a base station site checklist*Technical organization structure establishment,headcount drivers,hiring,smart outsourcing and training*Performance report (RF and network) related to daily performance monitoring and engineering planning,including upper-management reports *Spectrum allocation tables*Glossary Ideal for telecom engineers and managers wishing to pursue an LMDS or FWPMP strategy,this timely reference puts the tools you need in one thoughtful and convenient source.
Practical Simulation of Printed Circuit Boards and Related Structures
Authors: K. J. Scott
Venue:  (1994)

:Describes the derivation of an electrical model for printed circuit boards (PCB), in the form of an equivalent circuit, which can be used in conjunction with circuit simulators to determine how the PCB affects the circuit's performance built on it. These techniques have also been applied to monolithic microwave integrated circuits and can be extended to model other structures. Includes examples which demonstrate the efficiency and accuracy of the method and its application to extremely complex layouts.