ppxscal/embedding_network huggingface dataset:
Modeling of interconnection subsystems for massively parallel computers
Authors: J. A. Gregorio, R. Beivide, F. Vallejo
Venue: Performance Evaluation (2002)

The analysis, design and evaluation of the interconnection subsystem for massively parallel architectures is normally carried out using computer simulation tools, requiring elevated computational costs. Moreover, in some cases, these simulation processes show serious difficulties when both experiments and results have to be reproduced by other research or design teams. This work shows the suitability of the use of formal representation methods, like DSPN (stochastic Petri nets with deterministic and exponential firing times), for the description of the message routers, focusing on two important features. Firstly, the possibility of obtaining network performance indicators through the simulation of the obtained models with a lower computational cost than using conventional techniques; in some cases, analytical results can also be obtained. And secondly, making the basic parameters of the network design relatively independent of the router implementation features, thus simplifying the method of establishing the behavior of new router structures. This approach has been successfully applied to the analysis of both symmetrical torus and asymmetrical mesh interconnection topologies, with virtual cut-through flow control, oblivious routing and random traffic. It should be noted that most modern parallel computers employ a local buffer space big enough to store at least a complete packet. Two different functional router structures have been used in each case: transit buffers located at the input or at the output router links.
Prediction of shear force using 3D non-linear FEM analyses for a plain weave carbon fabric in a bias extension state
Authors: J. Page, J. Wang
Venue: Finite Elements in Analysis and Design (2002)

An FEM model for a fabric structure was built to predict the shear force-deformation relationship of the fabric. Yarns were simulated using 3D brick elements. Yarn waviness was generated in a manner simulating the weaving process. The contact behaviour between yarns was simulated by providing gap elements and a non-linear solution was utilised accordingly. Anisotropic material properties were specified for the yarn elements. The input data used were determined through a series of characterisation tests. In the FEM analysis the distributed normal force between the two yarns was predicted. Using this result and a previously derived analytical model the shear force was further calculated as a function of the shear angle which agrees reasonably well with the experimental observation. In addition the FEM simulation indicates that the shear force-displacement relation is sensitive to the degree of the material anisotropy and the value of the side radius of the yarns.
Joint Approximate Diagonalization of Positive Definite Hermitian Matrices
Authors: Dinh Tuan Pham
Venue: SIAM Journal on Matrix Analysis and Applications (2000)

This paper provides an iterative algorithm to jointly approximately diagonalize K Hermitian positive definite matrices ${\bf\Gamma}_1$, \dots, ${\bf\Gamma}_K$. Specifically, it calculates the matrix B which minimizes the criterion $\sum_{k=1}^K n_k [\log \det\diag(\B\C_k\B^*) - \log\det(\B\C_k\B^*)]$, nk being positive numbers, which is a measure of the deviation from diagonality of the matrices BCkB*$. The convergence of the algorithm is discussed and some numerical experiments are performed showing the good performance of the algorithm.
Understanding Motion Capture for Computer Animation and Video Games, 1st edition
Authors: Alberto Menache
Venue:  (1999)

:In Understanding Motion Capture for Computer Animation and Video Games, industry insider Alberto Menache tells the complete story of motion capture, examining its technical details as well as its growth as an industry. Menache's narrative voice and in-depth technical discussions allow the reader not only to learn motion capture, but also to understand the reasons behind its successes, failures, and increasing role in such blockbuster films as Batman Forever and Batman and Robin. With its careful balance between technical analysis and industry trends, Understanding Motion Capture for Computer Animation and Video Games is the first book to explore the controversial art and practice of modern character animation using motion capture.
Microsoft Visual Basic 6.0: Programmer's Guide, 1st edition
Authors: Microsoft Corporation
Venue:  (1998)

:Created by the Microsoft Visual Basic development team in convenient, easy-to-digest print form, Microsoft Visual Basic 6.0 Programmer's Guide is a comprehensive resource for beginning to intermediate users. It is designed to help you get the best possible results from one of Microsoft's most popular programming systems for Windows. Microsoft Visual Basic 6.0 Programmer's Guide will help you learn programming fundamentals, create your first Visual Basic program, and optimize and distribute applications. Taken from the Programmer's Guide content available in the online documentation, but available in printed form only from Microsoft Press, the book provides vital insights into creating applications for stand-alone desktops, networked PCs, the Internet and intranets, and the components market.
A Parallel Jacobi--Davidson-type Method for Solving Large Generalized Eigenvalue Problems in Magnetohydrodynamics
Authors: Margreet Nool, Auke vander Ploeg
Venue: SIAM Journal on Scientific Computing (2000)

We study the solution of generalized eigenproblems generated by a model which is used for stability investigation of tokamak plasmas. The eigenvalue problems are of the form $A x = \lambda B x$, in which the complex matrices A and B are block-tridiagonal, and B is Hermitian positive definite. The Jacobi--Davidson method appears to be an excellent method for parallel computation of a few selected eigenvalues because the basic ingredients are matrix vector products, vector updates, and inner products. The method is based on solving projected eigenproblems of order typically less than 30.We apply a complete block LU decomposition in which reordering strategies based on a combination of block cyclic reduction and domain decomposition result in a well-parallelizable algorithm. One decomposition can be used for the calculation of several eigenvalues. Spectral transformations are presented to compute certain interior eigenvalues and their associated eigenvectors. The convergence behavior of several variants of the Jacobi--Davidson algorithm is examined. Special attention is paid to the parallel performance, memory requirements, and prediction of the speed-up. Numerical results obtained on a distributed memory Cray T3E are shown.
Power-aware video decoding using real-time event handlers
Authors: Christian Poellabauer, Karsten Schwan
Venue: Proceedings of the 5th ACM international workshop on Wireless mobile multimedia (2002)

Multimedia applications have to receive sufficient resource allocations to maintain their desired levels of Quality of Service (QoS). On the other hand, in mobile environments, the devices on which these applications must run have to minimize power consumption to prolong battery life. Our work focuses on the QoS issues in the event-driven distribution of multimedia streams between mobile users, where a source provides interactive video in the form of streams of data events to multiple remote sinks. This paper addresses the power-aware execution of event handlers at such event sinks. In particular, an adaptive approach to the dynamic selection of a suitable CPU clock frequency of a mobile device is shown superior to non-adaptive power management. This approach (a) minimizes power consumption while also (b) guaranteeing that a given event handler finishes its execution within application-specific timing constraints. This is realized by dynamically measuring the progress of event handler functions and then using this information to re-adjust the clock frequency for the current event and to select appropriate clock frequencies for future events.
Beginning SQL Programming
Authors: John Kauffman, Ian Herbert, Kevin Spencer, Sakhr Youness, Brian Matsik
Venue:  (2001)

:Beginning SQL Programming is designed for novice database programmers or people familiar with a desktop solution such as Access who would like to scale up to a relational database that requires SQL. The book will also be a valuable learning tool for people with some knowledge of Visual Basic programming who would like to work with databases, and also for web developers who have wandered into the world of dynamic page creation using databases. Author Biography: John Kauffman is a research scientist turned freelance consultant - dividing his time evenly between teaching, writing and programming, primarily in the areas of Visual Basic, Word macros, Access and Access Programming, and ASP. Brian Matsik is the President and Senior Consultant with OOCS in Charlotte, NC. Brian is MCSD certified and specializes in entrprise and Internet development with Visual Basic and Visual Interdev. Kevin Spencer started programming in C in the early 1990's before moving on to Microsoft Visual FoxPro and Access. As Internet Database Connectivity technologies began to emerge from Microsoft he recognised the potential and learned them aswell. This programming background led to the creation of Site Design by TAKempis, a company which specializes in Internet Database application programming with ASP/ADO. Kevin was made an MVP in 1997 and now combines his work commitments with authorial duties including articles about Microsoft FrontPage and ASP/ADO for several online magazines, including Wrox's ASP Today (www.asptoday.com).
Teach Yourself Quicken 99 in 10 Minutes
Authors: Sherry Kinkoph, Joshua Nossiter, Jennifer Fulton
Venue:  (1998)

:10 minutes is all you need to learn how to get up and running with Quicken Deluxe 99 and Quicken Basic 99; set up and reconcile your checking and savings accounts; reduce your debt with Quicken's Debt Reduction Planner; use the financial calendar to schedule payments with alerts; handle your banking needs online - including paying bills and billing with Quicken Online; use Quicken Tax Planner to help with tax preparation; manage your small business accounts - payroll, accounts payable and receivable - with the basics covered here; write and print checks; prevent disaster-learn to backup and restore data; create and maintain a budget with Quicken to better plan your financial future.
A voice and ink XML multimodal architecture for mobile e-commerce systems
Authors: Zouheir Trabelsi, Sung-Hyuk Cha, Darshan Desai, Charles Tappert
Venue: Proceedings of the 2nd international workshop on Mobile commerce (2002)

This paper presents a multimodal interface architecture that combines standardized voice and ink formats to facilitate the creation of robust and efficient multimodal mobile e-Commerce systems, particularly for noisy mobile environments. The platform provides a Web interactive system for generic multimodal application development. By providing mutual disambiguation of input signals and superior error handling this architecture should broaden the spectrum of users to the general population, including permanently and temporarily disabled users. Integration of VoiceXML and InkXML provides a standard data format to facilitate Web based development and content delivery. We present a prototype platform and sample dialogues.
Designing ATM Switching Networks, 1st edition
Authors: Moshen Guizani, Ammar Rayes
Venue:  (1999)

:No technology is more critical to modern communications than Asynchronous Transfer Mode (ATM). This fast packet switching method maximizes bandwidth capacity, reduces technical and performance problems in networks, and functions across any line-twisted pair, coaxial cable, or fiber optic. In this new guide from two leading experts, you'll find complete, topnotch help with every step in the design, selection, and application of ATM switching in broadband networks. Clearly written and fully illustrated, this book clarifies every aspect of this complex and important field.
Data Management and Internet Computing for Image/Pattern Analysis
Authors: David D. Zhang, X. Li
Venue:  (2001)

:"Data Management and Internet Computing for Image/Pattern Analysis focuses on the data management issues and Internet computing aspect of image processing and pattern recognition research. The book presents a comprehensive overview of the state of the art, providing detailed case studies that emphasize how image and pattern (IAP) data are distributed and exchanged on sequential and parallel machines, and how the data communication patterns in low- and higher-level IAP computing differ from general numerical computation, what problems they cause and what opportunities they provide. The studies also describe how the images and matrices should be stored, accessed and distributed on different types of machines connected to the Internet, and how Internet resource sharing and data transmission change traditional IAP computing." Data Management and Internet Computing for Image/Pattern Analysis is an excellent reference for researchers and may be used as a text for advanced courses in image processing and pattern recognition.
Lightwave 3d 7 Character Animation with Cdrom
Authors: Timothy Albee
Venue:  (2002)

:LightWave 3D is one of the most popular 3D tools on the market today, offering the most complete set of tools, the best-looking and fastest out-of-the-box renderer, and one of the most powerful IK engines available. Professional director/animator Timothy Albee discusses how to use LightWave to build strong, dependable character setups, and provides proven, hands-on tools for mastering the complex mechanics of animation. Additionally, he covers the importance of storytelling and acting through animation-the subtle mastery that brings characters to life. This book: Shows the complete crafting of powerful and reliable character setups. Explains Inverse Kinematics as it pertains to character animation. Uses LightWave's tools to create character rigs that allow you to migrate animation from one character to another. Describes how to apply point weighting to create believable character skinning. Illuminates basic and advanced animation techniques that are the cornerstones for skilled animation such as anticipation, overlapping action, gesture, and silhouette. Outlines key steps for taking a scene from start to finish. Teaches time-honored acting techniques for helping you "become" your character.Author Biography: Timothy Albee has been using LightWave 3D since 1991 as a studio animator. Founder of Exile Films and co-founder of Studio Mythos, his credits include Walt Disney feature animation, Babylon5, and numerous theatrical-release and television commercials. He has also worked for Activision.
Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach
Authors: E. M. Clarke, E. A. Emerson, A. P. Sistla
Venue: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983)

We give an efficient procedure for verifying that a finite state concurrent system meets a specification expressed in a (propositional) branching-time temporal logic. Our algorithm has complexity linear in both the size of the specification and the size of the global transition graph for the concurrent system. We also show how the logic and our algorithm can be modified to handle fairness. We argue that this technique can provide a practical alternative to manual proof construction or use of a mechanical theorem prover for verifying many finite state concurrent systems.
Interconnect Analysis and Synthesis, 1st edition
Authors: Shen Lin, John P. Lillis
Venue:  (1999)

:State-of-the-art methods and current perspectives on interconnect The irrepressible march toward smaller and faster integrated circuits has made interconnect a hot topic for semiconductor research. The effects of wire size, topology construction, and network design on system performance and reliability have all been thoroughly investigated in recent years. Interconnect Analysis and Synthesis provides CAD researchers and engineers with powerful, state-of-the-art tools for the analysis, design, and optimization of interconnect. It brings together a wealth of information previously scattered throughout the literature, explaining in depth available analysis techniques and presenting a range of CAD algorithms for synthesizing and optimizing interconnect. Along with examples and results from the semiconductor industry and 150 illustrations, this practical work features:*Models for interconnect as well as devices and the impact of scaling trends*Modern analysis techniques, from matrix reduction and moment matching to transmission-line analysis*An overview of the effects of inductance on on-chip interconnect*Flexible CAD algorithms that can be generalized for different needs, from buffer insertion to wire sizing to routing topology*Emphasis on realistic problem formulations, addressing key design tradeoffs such as those between area and performance
Windows CE 2 for Dummies
Authors: Jinjer L. Simon
Venue:  (1997)

:Windows CE 2 For Dummies helps you tap into the power of Windows CE 2, Microsoft's newest operating system. Windows CE 2 totally redefines the world of mobile computing by bringing popular desktop programs, such as Word, Excel, and even PowerPoint, to a device that is small enough to fit in the palm of your hand or even slip into your pocket. This handy reference shows you how to use Windows CE 2 to interface with other computers to transfer files, send and receive e-mail, and even connect to the Internet. Inside, find helpful advice on how to Keep track of appointments and special events by setting simple reminders Synchronize appointments, tasks, and even personal contacts with Schedule+ on your desktop computer Take important Word documents and Excel worksheets with you to a meeting or even home to be viewed and modified at your convenience Send and receive e-mail messages directly from your Windows CE device Leap into the world of the Internet from the comfort of your Windows CE device Customize your Windows CE device by adding and removing software Back up your Windows CE device to a desktop computer Deliver a PowerPoint presentation from your Windows CE device Determine which items to purchase for your Windows CE device based on your own specific needs 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
Automatic Preconditioning by Limited Memory Quasi-Newton Updating
Authors: José Luis Morales, Jorge Nocedal
Venue: SIAM Journal on Optimization (1999)

This paper proposes a preconditioner for the conjugate gradient method (CG) that is designed for solving systems of equations Ax=bi with different right-hand-side vectors or for solving a sequence of slowly varying systems Ak x = bk. The preconditioner has the form of a limited memory quasi-Newton matrix and is generated using information from the CG iteration. The automatic preconditioner does not require explicit knowledge of the coefficient matrix A and is therefore suitable for problems where only products of A times a vector can be computed. Numerical experiments indicate that the preconditioner has most to offer when these matrix-vector products are expensive to compute and when low accuracy in the solution is required. The effectiveness of the preconditioner is tested within a Hessian-free Newton method for optimization and by solving certain linear systems arising in finite element models.
Multi-level logic optimization
Authors: Masahiro Fujita, Yusuke Matsunaga, Maciej Ciesielski
Venue: Logic Synthesis and Verification (2001)

Three basic methods for multi-level logic optimization, namely algebraic logic optimization, Boolean logic optimization, and decomposition is a fundamental technology for the generation of multi-level logic. The application of BDDs offers an increased computational efficiency and makes them an attractive alternative to algebraic methods. These three methods are key technologies for state-of-the-art logic synthesis tools.
Simulation preorder over simple process algebras
Authors: Antonín Kučera, Richard Mayr
Venue: Information and Computation (2002)

We consider the problem of simulation preorder/equivalence between infinite-state process and finite-state ones. First, we describe a general method how to utilize the decidability of bisimulation problems to solve (certain instances of) the corresponding simulation problems. For certain process classes, the method allows us to design effective reductions of simulation problems to their bisimulation counterparts and some new <I> decidability border</I> for the problem of simulation preorder/equivalence are decidable in EXPTIME between pushdown and finite-state ones. On the other hand, simulation preorder is undecidable between PA and finite-state process in both directions. These results also hold for those PA and finite-state process which are deterministic and normed, and trace equivalence is also shown to be undecidable for PA. Finally, we prove that simulation preorder (in both directions) and simulation equivalence are interact able between all classes of infinite-state systems (in the hierarchy of process rewrite systems) and finite-state ones. This result is obtained by showing that the problem whether a BPA (or BPP) process simulation a finite-state one is PSPACE- hard and the other direction is co-NP-hard; consequently, simulation equivalence between BPA (or BPP) and finite-state processes is also co-NP-hard.
Remote programmability of graphic interactions in a host/satellite configuration
Authors: Samuel D. Moulton, Philip J. Corman
Venue: ACM SIGGRAPH Computer Graphics (1976)

This paper describes the remote programmability of graphic-oriented interactions in a large, time-shared host/multiple-satellite configuration. The philosophy and architecture of a pseudo machine -- the Programmable Graphics Processor (PGP) -- is presented along with a description of the higher-level language used in the host to specify programs for execution in the satellite. These programs are first compiled into PGP machine language in the host and then transmitted to the satellite where they are executed in response to asynchronous interrupts (attentions) originating from various types of interactive graphic input devices. In this manner, fairly complex and tailored interactions such as multiple line rubberbanding and limited area tracking are specified conveniently by applications programs in the host computer.
Cooperative environments for distributed: the distributed systems environment report
Authors: Khalil Drira, Andrea Martelli, Thierry Villemur
Venue: Lecture Notes In Computer Science; Vol. 2236 (2002)

This book documents the outcome of a European project on distributed system environments by presenting the results of the user's requirements analysis and assessing the current available technology such as collaborative systems design, analysis and verification, middleware, product data and workflow management, multicast communication, network QoS managment, and groupware. Besides technical results, the book surveys and classifies existing products and tools for collaborative distributed systems engineering.