ppxscal/embedding_network huggingface dataset:
Oracle9i: The Complete Reference, 1 edition
Authors: Kevin Loney, George Koch
Venue:  (2002)

:Master all the powerful features of Oracle9i using the exclusive information inside this indispensable resource. Written by best-selling Oracle Press authors Kevin Loney and George Koch, this volume explains how to implement all the components of Oracle9i. This is a must-have reference for all Oracle professionals.
Functional Verification with Completely Self-Checking Tests
Authors: Eugene Zhang, Einat Yogev
Venue: Proceedings of the 1997 IEEE International Verilog HDL Conference (IVC '97) (1997)

Writing thorough testbenches to verify complex systems is becoming increasingly difficult and time-consuming. This paper analyzes existing functional verification methodologies, as well as some fundamental problems of functional verification of complex systems. This paper proposes a more powerful and efficient approach for writing fully self-checking tests, using a transaction-based verification method, and concurrent programming techniques. A generic 32x32 cell-based switch fabric system is used as an example to illustrate this methodology.
A Methodological Approach to the Requirement Specification of Embedded Systems
Authors: F. Lattemann, E. Lehmann
Venue: Proceedings of the 1st International Conference on Formal Engineering Methods (1997)

In this paper a systematic development process for describing requirement specifications of embedded safety relevant systems is presented. The procedure resembles the V-model widely used in practice, according to which the software production is devided into different steps. Concrete guidelines are given that lead to structured requirement specifications of embedded cyclic systems for which real-time conditions and safety critical characteristics play a role. When describing the system, it is divided into the whole system (hardware and software) and the controller (only software). By doing so a clear division is gained between the values of the system and the values which are available to the controller. On this basis hardware failures arising in the whole system can be described and considered by means of the control software. Different formal, semi-formal, and graphical notations are suggested which can be used in combination in order to describe various aspects of a system. The different notations and the various requirement types are classified so that a simple description and analysis of requirements is possible. Formal notations are not urgently necessary for being able to carry out the development steps suggested here. However, due to their precision and their automation potential the formal notations are strongly recommended especially for safety critical software.
Using Graph Patterns to Extract Scenarios
Authors: Jingwei Wu, Ahmed E. Hassan, Richard C. Holt
Venue: Proceedings of the 10th International Workshop on Program Comprehension (2002)

Scenario diagrams are useful for helping software developers to understand the interactions among the components of a software system. In this paper, we present a semi-automatic approach to extracting scenarios from the implementation of a software system.In our approach, the source code of a software system is represented as a graph and scenarios are specified as graph patterns. A relational calculator, Grok, is extended to supportgraph pattern matching. Grok, as extended, is used in our analysis of the Nautilus open source file manager. Multiple scenarios are extracted and analyzed. These scenarios have helped us to analyze Nautilus's architecture.
Modeling of the dynamic behaviour of reinforced concrete frames with significant reinforcement slip
Authors: R. Picón, B. Vera, C. Quintero-Febres, J. Flórez-López
Venue: Proceedings of the sixth conference on Computational structures technology (2002)

This paper shows the influence of bond deterioration between concrete and reinforcement in the behavior of RC frames. Wide beam-column connections and short elements, two cases where this phenomenon is particularly important are investigated. In this work, a model that simulates bond deterioration under cyclic loading is presented. The model combines the plastic hinge concept with continuum damage and fracture mechanics. The model uses a parameter named "slip moment". The calculation of this parameter is based on the bond strength of RC sections.
Linux For Dummies, 4 edition
Authors: Dee-Ann LeBlanc, Melanie Hoag, Evan Blomquist
Venue:  (2002)

:Covers the essentials that first-time Linux users need to know about installing and using Linux on their desktop. Topics include preparing your PC for Linux, installing, connecting to a network or the Internet, working with the GNOME interface, playing media files, and working with the file system.Covers specialized uses of Linux including using Linux as a server as well as an embedded or turnkey system, a supercomputer, a real-time controller. Covers the latest tools for browsing the Internet, being productive, and keeping your connection secure.Series features: Includes the simple and fun reference style that has made the For Dummies series a favorite for over 200, 000 first-time Linux users.ABOUT THE CD-ROMTwo CDs included with this book contain the latest distribution of Red Hat Linux.
Structuring Reactive Systems in B AMN
Authors: K. Lano, K. Androutsopoulos, P. Kan
Venue: Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods (2000)

B has been widely used for high-integrity system development, for example in the railway industry. However there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper, we describe a method to support graphical design of systems using B AMN, and develop guidelines for expressing the structuring requirements of reactive systems in B.
The Golem Go Program
Authors: Herbert D. Enderton
Venue:  (1991)

Golem is a simple go-playing program that seeks to play the move which gains the most territory. It uses local tactical search to identify vulnerable stones and protected liberties, and then uses this information to estimate the strength of each group of stones. Territory is computed using a relaxation procedure. It has a neural network trained to try to recognize professional go players'' moves based on the pattern of the stones immediately surrounding each move. This neural network is used for move ordering and forward pruning in Golem''s search. Golem plays at approximately the 13 kyu level. Its simple structure indicates a framework for future go programs.
A model for Dynamic Configuration which Preserves Application Integrity
Authors: Ian Warren, Ian Sommerville
Venue: Proceedings of the 3rd International Conference on Configurable Distributed Systems (1996)

Our approach to dynamic configuration is based on building a model of reconfigurable applications. The model documents applications according to the Configuration paradigm and for each component, captures structural constraints and behavioral information. The model presents change administrators with an abstract interface to dynamic configuration management. Change is initiated by submitting a version descriptor to the configuration manager; much of the low-level and error-prone activities of dynamic configuration are automated. Synchronization of dynamic configuration with the application and management of persistent state are fundamental to preserving an application's integrity. In this paper we present our synchronization mechanism, which adopts atomic operations for both intra- and inter- component computation. The problems of persistent state management are simplified by our synchronization model. We also expose the difficulties and propose solutions for managing composite components and components whose operations are constrained.
Intellectual Technologies CAD for Training Opening Systems
Authors: O. V. Koshkin, I. G. Sidorkina
Venue: Proceedings of the 2002 IEEE International Conference on Artificial Intelligence Systems (ICAIS'02) (2002)

The task of a theoretical substantiation of principles and concepts of the automated designing for the again developed object displayed by a distributed educational rate is considered. The integration of methods of designing realizing algorithmic synthesis of new object with technologies of intellectual processing of the information is shown. The offered method of creation of an educational resource opens an original direction in preparation of the experts on CAD systems.
Mining Spatial Data via Clustering
Authors: V. M Estivill-Castro
Venue:  (1997)

Contributions from researchers in Knowledge Discovery are producing essential tools in order to better understand the typically large amounts of spatial data in Geographical Information Systems. Clustering techniques are proving to be valuable in providing exploratory analysis functionality while supporting approaches for automated pattern discovery in spatially referenced data and for the identification of important spatial relationships. However, there is little recognition of the broader context for which many clustering approaches are related. The concern for efficient filtering of outliers has divested attention from the actual problem being solved, which has resulted in a lack of recognition for the variety of approaches that could be modeled and in the re-discovery of solution approaches that are problematic or inferior. We present an overview of non-hierarchical clustering approaches for spatial data analysis. Our panoramic view to clustering large spatio-referenced datasets suggests that more effective and efficient clustering methods are possible. 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
A User''s Guide to The Factory Modelling System, A Planning and Design Tool for Manufacturing Engineering
Authors: Richard W. Conway
Venue:  (1984)

NOT SUPPLIED
Modeling annotated data
Authors: David M. Blei, Michael I. Jordan
Venue: Proceedings of the 26th annual international ACM SIGIR conference on Research and development in informaion retrieval (2003)

We consider the problem of modeling annotated data---data with multiple types where the instance of one type (such as a caption) serves as a description of the other type (such as an image). We describe three hierarchical probabilistic mixture models which aim to describe such data, culminating in correspondence latent Dirichlet allocation, a latent variable model that is effective at modeling the joint distribution of both types and the conditional distribution of the annotation given the primary type. We conduct experiments on the Corel database of images and captions, assessing performance in terms of held-out likelihood, automatic annotation, and text-based image retrieval.
Sulawesi: A Wearable Application Integration Framework
Authors: Neill J. Newman, Adrian F. Clark
Venue: Proceedings of the 3rd IEEE International Symposium on Wearable Computers (1999)

The paper describes Sulawesi, a framework for developing applications for wearable computing that are capable of multi-modal interaction with the user. The design principles of the framework are described along with its main features, and some example applications that exploit the capabilities of the framework are outlined.
Trading Bandwidth for Latency: Managing Continuations Through a Carpet Bag Cache
Authors: Richard C. Murphy, Peter M. Kogge
Venue: Proceedings of the International Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems (IWIA'02) (2002)

Processing-In-Memory (PIM) circumvents the von Neumann bottleneck by combining logic and memory (typically DRAM) on a single die. This work examines the performance of a mobile thread execution model in which threads traverse the system's address space in search of their required data over a massively parallel PIM array targeted at petaflop performance. This model is enabled through the use of a carpetbag cache which travels with the thread and provides data from the node previously visited. In this way, the latency of traveling to a node already visited is avoided by paying the additional bandwidth and packaging costs associated with moving the cache. Furthermore, it is shown that thrashing between two nodes will generally occur without the use of the cache. Each of the simulations conducted in this work was conducted under stress. By using the Data Intensive Systems (DIS) benchmark suite, the model was subjected to "worst case" memory access patterns, and ultimately still proved highly successful. Additionally, it is shown that this model caters to the positive aspects of a PIM ¿ specifically, the very fast local memory access available.
Modular design of a large sorting network
Authors: N. K. Sharma
Venue: Proceedings of the 1997 International Symposium on Parallel Architectures, Algorithms and Networks (1997)

Batcher sorting networks have been extensively used in the design of ATM switches based on Batcher-banyan interconnection network. Batcher sorting networks require large number of stages of sorting elements especially for large network sizes. This results in high delay, difficulty in partition into IC, and difficulty in maintaining synchronization across rite entire structure. In this paper, we present a simple design of a sorting network that can be used as a building block to build larger sorting networks of arbitrary size. The proposed design is very modular and can be efficiently implemented using current VLSI technology.
Improved Curve Detection Through Decomposition of the Hough Transform
Authors: Clark F. Olson
Venue:  (1995)

This paper describes techniques to perform fast and accurate curve detection using a variant of the Hough transform. It is shown that the Hough transform can be decomposed into many small subproble ms, where each subproblem considers only curves that pass through some subset of the points. These curves correspond to a manifold in the parameter space. This property allows the effects of localization error to be modeled more accurately than previous systems. The additional use of randomization techniques leads to efficient algorithms. The time required by this method is $O(n)$, where $n$ is the number of edge poin ts in the image, if we are only required to find curves that are significant wit h respect to the complexity of the image. Results are given showing the detecti on of lines and circles in real images.
Parasitic Power Harvesting in Shoes
Authors: John Kymissis, Clyde Kendall, Joseph Paradiso, Neil Gershenfeld
Venue: Proceedings of the 2nd IEEE International Symposium on Wearable Computers (1998)

As the power requirements for microelectronics continue decreasing, environmental energy sources can begin to replace batteries in certain wearable subsystems. In this spirit, this paper examines three different devices that can be built into a shoe, (where excess energy is readily harvested) and used for generating electrical power "parasitically" while walking. Two of these are piezoelectric in nature: a unimorph strip made from piezoceramic composite material and a stave made from a multilayer laminate of PVDF foil. The third is a shoe-mounted rotary magnetic generator. Test results are given for these systems, their relative merits and compromises are discussed, and suggestions are proposed for improvements and potential applications in wearable systems. As a self-powered application example, a system had been built around the piezoelectric shoes that periodically broadcasts a digital RFID as the bearer walks.
Location-Based Personal Agents: A Metaphor for Situated Computing
Authors: Seng Wai Loke, Andry Rakotonirainy, Karsten Schulz
Venue: Proceedings of the 2000 International Workshop on Parallel Processing (2000)

This paper proposes an agent-based model for providing personalized services at specific locations. We describe the concept of LBP-agents, point out benefits of the model, and examine implementation and software infra-structural issues.
Proof Theoretic Maximality of Logical Calculi
Authors: Daniel Leivant
Venue:  (1980)

NO SUPPLIED
Query Processing with Heterogeneous Resources
Authors: Tobias Mayr, Philippe Bonnet, Johannes Gehrke, Praveen Seshadri
Venue:  (2000)

In emerging systems, CPUs and memory are integrated into active disks, controllers, and network interconnects. Query processing on these new multiprocessor systems must consider the heterogeneity of resources among the components. This leads to the more general problem of how to deal with performance heterogeneity in parallel database systems. We study database query processing techniques that increase the leverage of heterogeneous resources. We show that the traditional algorithms used in shared-nothing parallel databases fail to utilize non-uniform resources. Uniform resource usage across non-uniform components leads to resource bottlenecks. We describe a class of new execution techniques that balance the usage of system resources using non-uniform intra-operator parallelism. We show that these techniques improve performance on heterogeneous architectures by allowing trade-offs between the various resources. Traditional techniques are subsumed as a special case for symmetric architectures. We show a formal model that maps out the new execution space of alternative processing techniques. A simplified cost model allows analytic performance evaluation of the alternative techniques. The proposed new execution paradigm is an extension of the classical dataflow paradigm.
Electrostatic Discharge Implantation to Improve Machine-Model ESD Robustness of Stacked NMOS in Mixed-Voltage I/O Interface Circuits
Authors: Ming-Dou Ker, Hsin-Chyh Hsu, Jeng-Jie Peng
Venue: Proceedings of the 4th International Symposium on Quality Electronic Design (2003)

A novel electrostatic discharge (ESD) implantationmethod is proposed to significantly improve machine-model (MM) ESD robustness of NMOS device in stackedconfiguration (stacked NMOS). By using this ESDimplantation method, the ESD current is discharged faraway from the surface channel of NMOS, therefore thestacked NMOS in the mixed-voltage I/O interface cansustain a much higher ESD level, especially under the MMESD stress. The MM ESD robustness of the stacked NMOSwith a device dimension of W/L=300µm/0.5µm for eachNMOS has been successfully improved from the original358V to become 491V in a 0.25-µm CMOS process. ThisESD implantation method with the n-type impurity is fullyprocess-compatible to general sub-quarter-micron CMOSprocesses.
Certified Macromedia ColdFusion MX Developer Study Guide, 2 edition
Authors: Ben Forta
Venue:  (2003)

:Certified Macromedia ColdFusion MX Developer Study Guide helps you review everything you need to know to pass the Certified Macromedia ColdFusion MX Developer exam. Designed specifically to simplify exam preparation for intermediate-to-advanced ColdFusion developers, each subject is presented in clear and direct language, with useful and well-explained code examples.
A Parabolic Load Balancing Method
Authors: Alan Heirich, Stephen Taylor
Venue:  (1994)

This paper presents a diffusive load balancing method for scalable multicomputers. In contrast to other schemes which are probably correct the method scales to large numbers of processors with no in-crease in run time. In contrast to other schemes which are scalable the method is provably correct and the paper analyzes the rate of covergence. To control aggregate cpu idle time it can be useful to balance the load to specifiable accuracy. The method achieves arbitrary accuracy by proper consideration of numerical error and stability. This paper presents the method, proves correctness, convergence and scalability, and simulates applications to generic problems in computational fluid dynamics (CFD). The applications reveal some useful properties. The method can preserve adjacency relationships among elements of an adapting computational domain. This makes it useful for partitioning unstructured computational grids in concurrent computations. The method can execute asynchronously to balance a subportion of a domain without affecting the rest of the domain. Theory and experiment show the method is efficient on the scalable multicomputers of the present and coming years. The number of floating point operations required per processor to reduce a point disturbance by 90% is 168 on a system of 512 computers and 105 on a system of 1,000,000 computers. On a typical contemporary multicomputer [19] this requires 82.5 microseconds wall-clock time.
Fast Algorithm for Minimizing Reed-Muller Expansions of Systems of Incompletely Slpecified MVL Functions
Authors: A. D. Zakrevskij, L. A. Zakrevski
Venue: Proceedings of the 27th International Symposium on Multiple-Valued Logic (1997)

A problem of the optimal implementation of Multi- Valued Logic (MVL) functions in the basis of multivalued EXOR gates is considered. In this paper, we are concerned with the question of representing systems of MVL functions by minimum Reed-Muller expansions. A specific class of such representations, called superoptimal, is regarded. For the superoptimal solutions the number of different conjunctions in the sought-for system of polynomials equals to the number of linear independent output variables (on the area of definition) The proposed method enables to find a superoptimal solution for a given system of weakly specified MVL functions, if such a solution exists. It is based on the theory of linear vector spaces.
Adobe PhotoShop 7 Creative Workshop
Authors: Andy Anderson
Venue:  (2002)

:Are you ready to go beyond the basics of Photoshop and let your imagination soar? Adobe Photoshop 7 Creative Workshop will help you produce exceptional imagery with easier access to file data, streamlined Web design, and faster, professional-quality photo retouching. Learn how to utilize Photoshop's newest options, the Healing Brush, Painting Engine, and Enhanced Liquefy tool, to fine-tune your professional piece. You can also customize your workspace for instant access to a personalized Photoshop desktop. Creative Workshop will help you produce exceptional imagery with easier access to file data, streamlined Web design, and faster, professional-quality photo retouching.
Integrating PMI services in CORBA applications
Authors: Javier López, Antonio Maña, Juan J. Ortega, José M. Troya, Mariemma I. Yagüe
Venue: Computer Standards Interfaces (2003)

Application-level access control is an important requirement in many distributed environments. For instance, in new scenarios such as e-commerce, access to resources by previously unknown users is an essential problem to be solved. The integration of Privilege Management Infrastructure (PMI) services in the access control system represents a scalable way to solve this problem. Within the CORBA standards, the Resource Access Decision (RAD) facility is a mechanism used by security-aware applications to obtain authorization decisions and to manage access decision policies. This paper presents PMIRAD, an approach to integrate the services of an external PMI into CORBA applications using the RAD facility. In particular, the integration of the external PMI in the access control system is based on the semantic description of the PMI services. Our RAD implementation requests and verifies attribute certificates from the PMI in a transparent way for CORBA objects.
Methodological Support for Requirements Elicitation and Formal Specification
Authors: Maritta Heisel, Jeanine Souquieres
Venue: Proceedings of the 9th international workshop on Software specification and design (1998)

We propose a method for the elicitation and the expression of requirements. The requirements can then be transformed in a systematic way into a formal specification that is a suitable basis for design and implementation of a software system. The approach -- which distinguishes between requirements and specifications -- gives methodological support for requirements elicitation and specification development. It does not introduce a new language but builds on known techniques.