ppxscal/embedding_network huggingface dataset:
Hidden Markov Models with Patterns to Learn Boolean Vector Sequences and Application to the Built-In Self-Test for Integrated Circuits
Authors: L. Bréhélin, O. Gascuel, G. Caraux
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2001)

We present a new model, derived from the Hidden Markov Model (HMM), to learn Boolean vector sequences. Our Hidden Markov Model with Patterns (HMMP) is a simple, hybrid, and interpretable model that uses Boolean patterns to define emission probability distributions attached to states. Vectors consistent with a given pattern are equiprobable, while inconsistent ones have probability zero to be emitted. We define an efficient learning algorithm for this model, which relies on the maximum likelihood principle, and proceeds by iteratively simplifying the structure and updating the parameters of an initial specific HMMP that represents the learning sequences. Each simplification involves merging two states of the current HMMP, while keeping the likelihood as high as possible and the algorithm stops when the HMMP has a sufficiently small structure. HMMPs and our learning algorithm are applied to the Built-in Self-Test (BIST) for integrated circuits, which is one of the key microelectronic problems. An HMMP is learned from a test sequence set (computed using a specific tool) that covers most of the potential faults of the circuit at hand. Then, this HMMP is used as test sequence generator. Our experiments, carried out with classical microelectronic benchmark circuits, show that learned HMMPs have a very high fault coverage. Furthermore, their small sizes combined with their simplicity allow these models to be easily implemented on the circuits for self-testing purposes.
Reasoning with higher-order abstract syntax in a logical framework
Authors: Raymond C. McDowell, Dale A. Miller
Venue: ACM Transactions on Computational Logic (TOCL) (2002)

Logical frameworks based on intuitionistic or linear logics with higher-type quantification have been successfully used to give high-level, modular, and formal specifications of many important judgments in the area of programming languages and inference systems. Given such specifications, it is natural to consider proving properties about the specified systems in the framework: for example, given the specification of evaluation for a functional programming language, prove that the language is deterministic or that evaluation preserves types. One challenge in developing a framework for such reasoning is that higher-order abstract syntax (HOAS), an elegant and declarative treatment of object-level abstraction and substitution, is difficult to treat in proofs involving induction. In this article, we present a meta-logic that can be used to reason about judgments coded using HOAS; this meta-logic is an extension of a simple intuitionistic logic that admits higher-order quantification over simply typed &lambda;-terms (key ingredients for HOAS) as well as induction and a notion of definition. The latter concept of definition is a proof-theoretic device that allows certain theories to be treated as "closed" or as defining fixed points. We explore the difficulties of formal meta-theoretic analysis of HOAS encodings by considering encodings of intuitionistic and linear logics, and formally derive the admissibility of cut for important subsets of these logics. We then propose an approach to avoid the apparent trade-off between the benefits of higher-order abstract syntax and the ability to analyze the resulting encodings. We illustrate this approach through examples involving the simple functional and imperative programming languages PCF and PCF:=. We formally derive such properties as unicity of typing, subject reduction, determinacy of evaluation, and the equivalence of transition semantics and natural semantics presentations of evaluation.
Automation, Production Systems, and Computer-Integrated Manufacturing, 2nd edition
Authors: Mikell P. Groover
Venue:  (2000)

: I. Automation and control technologies: industrial computer control, control system components, numerical control, industrial robotics, programmable logic controllers. II. Material handling technologies: conveyor systems, automated guided vehicle systems, automated storage systems, automatic identification and data capture. III. Manufacturing systems: single station cells, group technology, flexible manufacturing systems, assembly lines, transfer lines. IV. Quality control systems: statistical process control, inspection principles and technologies. V. Manufacturing support systems: CAD/CAM, process planning, production planning, production planning and control, lean production and agile manufacturing. TEXT FEATURES Expanded coverage of automation fundamentals, numerical control programming, group technology, flexible manufacturing systems, material handling and storage, quality control and inspection, inspection technologies, programmable logic controllers. New chapters or sections on manufacturing systems, single station manufacturing systems, mixed-model assembly line analysis, quality assurance and statistical process control, Taguchi methods, inspection principles and technologies, concurrent engineering, automatic identification and data collection, lean and agile manufacturing. Higher quantitative and engineering content in the text with more equations and example problems More quantitative problems on more topics: 385 problems in the new edition, 125 more than the 1987 edition. Historicalnotes describing the development and historical background of many of the automation technologies.
Aris-Business Process Modeling, 3rd edition
Authors: August-Wilhelm Scheer
Venue:  (2000)

:This book describes in detail how ARIS methods model and realize business processes by means of UML (Unified Modeling Language), leading to an information model that is the keystone for a systematic and intelligent method of developing application systems." "Multiple real-world examples - including knowledge management, implementation of workflow systems and standard solutions (SAP R/3 in particular) - address the deployment of ARIS methods.
Machine Learning Methods for Ecological Applications
Authors: Alan H. Fielding
Venue:  (1999)

:This is the first text aimed at introducing machine learning methods to a readership of professional ecologists. All but one chapter have been written by ecologists and biologists who highlight the application of a particular method to a particular class of problem. Examples include the identification of species, optimal mate choice, predicting species distributions and modelling landscape features. A group of experienced machine learning workers, who have become interested in environmental problems, have written a chapter that demonstrates how machine learning methods can be used to discover equations that describe the dynamic behaviour of ecological systems. The final chapter reviews 'real learning', offering the potential for greater dialogue between the biological and machine learning communities.
A note on proximity spaces and connection based mereology
Authors: Dimiter Vakarelov, Ivo Düntsch, Brandon Bennett
Venue: Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001 (2001)

Representation theorems for systems of regions have been of interest for some time, and various contexts have been used for this purpose: Mormann [17] has demonstrated the fruitfulness of the methods of continuous lattices to obtain a topological representation theorem for his formalisation of Whiteheadian ontological theory of space; similar results have been obtained by Roeper [20]. In this note, we prove a topological representation theorem for a connection based class of systems, using methods and tools from the theory of proximity spaces. The key novelty is a new proximity semantics for connection relations.
An experimental comparison of remote procedure call and group communication
Authors: M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
Venue: Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring (1992)

This paper suggests that a distributed system should support two communication paradigms: Remote Procedure Call (RPC) and group communication. The former is used for point-to-point communication; the latter is used for one-to-many communication. We demonstrate that group communication is an important paradigm by showing that a fault-tolerant directory service is much easier to implement with groups than with RPC and is also more efficient. The directory service exemplifies distributed services that provide high reliability and availability by replicating data.
The Computer Desktop Encyclopedia, with CD-ROM
Authors: Alan Freedman
Venue:  (1996)

:Highly readable, this comprehensive encyclopedia features over 1,000 pages of clear, concise definitions and explanations of everything you need to know about computers, including acronyms and buzzwords; the inner and outer workings of the PC; industry history and data on the movers and shakers; standards and compatibility; networking and communications; workstations, parallel processing, and UNIX; multimedia and optical storage; and the Internet and World Wide Web. Packed with more than 800 illustrations, photos, and charts, The Computer Desktop Encyclopedia is perfect for anyone who needs to field questions from nontechnical people or simply wants a deeper understanding of all things computer. Unrivaled in depth and content and immensely easy to use, The Encyclopedia is also available on CD-ROM, with or without paperback.
Orthogonal Striping and Mirroring in Distributed RAID for I/O-Centric Cluster Computing
Authors: Kai Hwang, Hai Jin, Roy S.C. Ho
Venue: IEEE Transactions on Parallel and Distributed Systems (2002)

This paper presents a new distributed disk-array architecture for achieving high I/O performance in scalable cluster computing. In a serverless cluster of computers, all distributed local disks can be integrated as a distributed-software redundant array of independent disks (ds-RAID) with a single I/O space. We report the new RAID-x design and its benchmark performance results. The advantage of RAID-x comes mainly from its orthogonal striping and mirroring (OSM) architecture. The bandwidth is enhanced with distributed striping across local and remote disks, while the reliability comes from orthogonal mirroring on local disks at the background. Our RAID-x design is experimentally compared with the RAID-5, RAID-10, and chained-declustering RAID through benchmarking on a research Linux cluster at USC. Andrew and Bonnie benchmark results are reported on all four disk-array architectures. Cooperative disk drivers and Linux extensions are developed to enable not only the single I/O space, but also the shared virtual memory and global file hierarchy. We reveal the effects of traffic rate and stripe unit size on I/O performance. Through scalability and overhead analysis, we find the strength of RAID-x in three areas: 1) improved aggregate I/O bandwidth especially for parallel writes, 2) orthogonal mirroring with low software overhead, and 3) enhanced scalability in cluster I/O processing. Architectural strengths and weakness of all four ds-RAID architectures are evaluated comparatively. The optimal choice among them depends on parallel read/write performance desired, the level of fault tolerance required, and the cost-effectiveness in specific I/O processing applications.
Windows CE: Clear and Simple
Authors: Craig Peacock
Venue:  (1999)

:Windows CE is the version of Microsoft's Windows operating system designed specifically for small portable computing devices (the non-Microsoft "Palm Pilot" is the most recent successful manifestation of these). Windows CE 2.0, the last major release, shipped in late 1997 but has been upgraded significantly since then. Originally only designed for larger "Handheld PCs" (H/PCs), a new version of Windows CE in 1998 optimized the system for powerful H/PCs and enabled the system to run on smaller "Palm-Sized PCs" (P/PCs). The H/PC market has begun to grow rapidly, and Windows CE's share of the hot P/PC market is quickly increasing. 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
Developing User Interfaces for Microsoft Windows
Authors: Everett N. McKay
Venue:  (1999)

:Create better user interfaces by designing from the outside in. How important is user interface design? A poorly executed interface can frustrate users  and cost your organization time and money  while an effective design can improve productivity by helping users get their work done. So what makes good interfaces good and bad interfaces bad? Which design choices can improve the users experience with a program? Emphasizing practical results over theory, this concise, Windows-focused handbook distills industry best practices and the authors 25 years of software development expertise into straightforward and effective methods you can apply right now to create more usable user-driven software. Coverage includes: Basic concepts of user interface (UI) design  knowing the standards; establishing consistency Practical development techniques  specific ways to improve the UI for applications built with the Win32® API or MFC Understanding the user experience  putting the goals of the user ahead of yours; focusing your creativity the "right" way Windows user interface components  mastering the fundamentals; making appropriate choices Testing and evaluation  ensuring software quality and usability
Up and Running with C++, 1st edition
Authors: Jan Graba
Venue:  (1998)

:"Up and Running with C++" provides readers with a quick guide to the fundamental concepts of object orientation and their implementation in C++. Written in a user-friendly style, no prior knowledge of C or C++ is assumed. The book introduces the concepts and terminology of object orientation using a step-by-step approach and shows how to implement the central concepts of object orientation in C++. 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
Special Edition Using Windows 98, 1st edition
Authors: Ed Bott
Venue:  (1997)

:Special Edition Using Windows 98 provides you with the most comprehensive, relevant and understandable reference to Windows 98. This new edition features complete coverage of all new Windows 98 features including Internet Explorer 4.0, the Active Desktop, and Shell Integration. The book is two color, features a new, more effective design, handy task-reference tear cards, a wealth of productivity-boosting tips, notes and cautions as well as a very strong collection of valuable software on the CD-ROM. Professional, time-saving techniques and expert advice on all aspects of Windows 98 Enhance your work and computing experience with the new multimedia features Learn to build your own peer-to-peer network
An architecture for flexible, evolvable process-driven user-guidance environments
Authors: Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil
Venue: ACM SIGSOFT Software Engineering Notes (2001)

Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to lock users into the fixed interaction models dictated by the user-interface designers. Alternatively, we propose an approach where the tool utilization model is specified by a process, written in a process definition langauge. Our approach incorporates a user-interface specification that describes how the user-interface is to respond to, or reflect, progress through the execution of the process definition. By not tightly binding the user-guidance process, the associated user-interfaces, and the toolset, it is easy to develop alternative processes that provide widely varying levels and styles of guidance and to be responsive to evolution in the processes, user interfaces, or toolset. In this paper, we describe this approach for developing process-driven user-guidance environments, a lossely coupled architecture for supporting this separation of concerns, and a generator for automatically binding the process and the user interface. We report on a case study using this approach. Although this case study used a specific process definition language and a specific toolset, the approach is applicable to other process definition languages and toolsets, provided they meet some basic, sound software engineering requirements.
Pocket PC Reference, 5th edition
Authors: Thomas J. Glover
Venue:  (1996)

:The heart of every IBM and compatible PC is the BIOS, a low-level operating environment that handles the initial boot, start up and loading of the operating system and hardware level functions, System and service technicians and professionals assembling computer systems, troubleshooting computer hardware troubleshooting, performance tuning or home hobbyists building their own computer will benefit from this book.There are over 50,000 companies focused in the computer technical service and configuration business in the United States alone. Most of these companies employ between 10-50 technicians. In addition, the target audienceKey Features-- Over 6,500 hard disks covered (almost twice the number of any competitive product).-- Also covers common and unusual IDE disk controllers.
Interactive multimedia learning: shared reusable visualization-based modules
Venue:  (2001)

In this book several concepts with respect to the development and reusability of multimedia content in web-based learning systems are introduced. More specifically, the development of a component-based framework that enables developers to employ reusable software components enhanced with metadata, creating complete instructional visualizations for a given subject and integrating these visualizations in an appropriate learning context, will be discussed. Two activities for making stand-alone visualizations group-aware are addressed: transparent sharing of the same instructional visualization with diverse views in a moderated session, and organization of interactions in the shared workspace. No other work has addressed the issue of transparent collaboration based on instructional visualizations enhanced with metadata in such a way. The CD-ROM contains all the interactive learning modules as well as the content of the book in HTML format.
Protected IP-core test generation
Authors: A. Fin, F. Fummi
Venue: Proceedings of the 12th ACM Great Lakes symposium on VLSI (2002)

Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct integration in a design implies more complex verification problems. IPs are usually provided with their own test patterns that can be used only by applying design for testability techniques onto the chip. Whenever physical faults must be detected, this approach is reasonable, even if it implies circuit performance degradation. However, it is completely useless at the design level, when the correct integration of the IPs into the global design must be investigated. At this level, proprietary test sequences must be generated in relation to the actual use of the IPs into the design. In this paper, the SystemC language is exploited to define a design verification framework for integration test of IP-cores. Intellectual properties of cores are guaranteed by adopting a client/server simulation architecture and by allowing functional test generationon faulty IP-core models without disclosing their internal structure. The methodology can be applied to mixed descriptions based on VHDL and SystemC, since an abstraction layer has been defined allowing clients and/or servers to be indifferently described in VHDL or SystemC. Finally, remote simulation can be also performed locally to avoid bandwidth bottleneck and the test generation process can be indifferently applied at lower abstraction levels such as RT and gate.
Software Developer's Marketplace with Cdrom, 10th edition
Authors: Ben Sawyer
Venue:  (1997)

:Software Developer's Marketplace is the best resource available for people working in (or thinking about working in) the software development industry. The book is divided into two parts. First, you'll learn the ins and outs of the industry from expert developers. You'll learn about some of the most important topics in software development, including marketing, legal issues, and the jobs that are out there. The second part of Software Developer's Marketplace is devoted to resources. This valuable collection of listings includes over 150 top developer tools, the 100 best books for software developers, developer programs, conferences to attend, and more.
Corel WordPerfect 8: Quicktorial
Authors: Mary Alice Eisch
Venue:  (1998)

:An excellent way to learn Corel WordPerfect 8 in a short period of time. This text covers the most commonly used features of the software application. Screen captures and hands-on activities are integrated throughout the text for reinforcement.
An invitation to discuss computer depiction
Authors: Frédo Durand
Venue: Proceedings of the 2nd international symposium on Non-photorealistic animation and rendering (2002)

This paper draws from art history and perception to place computer depiction in the broader context of picture production. It highlights the often underestimated complexity of the interactions between features in the picture and features of the represented scene. Depiction is not always a unidirectional projection from a 3D scene to a 2D picture, but involves much feedback and influence from the picture space to the object space. Depiction can be seen as a pre-existing 3D reality projected onto 2D, but also as a 2D pictorial representation that is superficially compatible with an hypothetic 3D scene. We show that depiction is essentially an optimization problem, producing the best picture given goals and constraints.We introduce a classification of basic depiction techniques based on four kinds of issue. The spatial system deals with the mapping of spatial properties between 3D and 2D (including, but not restricted to, perspective projection). The primitive system deals with the dimensionality and mappings between picture primitives and scene primitives. Attributes deal with the assignment of visual properties such as colors, texture, or thickness. Finally, marks are the physical implementations of the picture (e.g. brush strokes, mosaic cells). A distinction is introduced between interaction and picture-generation methods, and techniques are then organized depending on the dimensionality of the inputs and outputs.