ppxscal/embedding_network huggingface dataset:
Performance Tuning Microsoft .Net Applications, 1st edition
Authors: Microsoft ACE Team
Venue:  (2002)

:Performance tuning is increasingly important as desktop applications move to a Web-centric, software-as-a-service model. Performance analysis and turning ensures that .NET-based applications perform as well as or better than traditional desktop applications. Direct from a team at Microsoft that has analyzed hundreds of Web-based and .NET-based applications, this book shows developers how to plan and execute performance tests, configure profile tools, analyze data from Microsoft Internet Information Services, analyze transaction costs, and more. 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
Exploiting structure in solution: decomposing compositional models
Authors: Jane Hillston
Venue: Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science (2002)

Since their introduction in the early 1990s, compositionality has been reported as one of the major attractions of stochastic process algebras. The benefits that compositionality provides for model construction are readily apparent and have been demonstrated in numerous case studies. Early research on the compositionality of the languages focused on how the inherent structure could be used, in conjunction with equivalence relations, for model simplification and aggregation. In this chapter we consider how far we have been able to take advantage of compositionality when it comes to solving the Markov process underlying a Markovian process algebra model.
Nonlinearly Constrained Best Approximation in Hilbert Spaces: The Strong CHIP and the Basic Constraint Qualification
Authors: Chong Li, Xiao-Qing Jin
Venue: SIAM Journal on Optimization (2002)

We study best approximation problems with nonlinear constraints in Hilbert spaces. The strong "conical hull intersection property" (CHIP) and the "basic constraint qualification" (BCQ) condition are discussed. Best approximations with differentiable constraints and convex constraints are characterized. The analysis generalizes some linearly constrained results of recent works [F. Deutsch, W. Li, and J. Ward, J. Approx. Theory, 90 (1997), pp. 385--444; F. Deutsch, W. Li, and J. D. Ward, SIAM J. Optim., 10 (1999), pp. 252--268].
Advanced Linux Programming
Authors: Mark Mitchell, Alex Samuel
Venue:  (2001)

:Advanced Linux Programming is divided into two parts. The first covers generic UNIX system services, but with a particular eye towards Linux specific information. This portion of the book will be of use even to advanced programmers who have worked with other Linux systems since it will cover Linux specific details and differences. For programmers without UNIX experience, it will be even more valuable. The second section covers material that is entirely Linux specific. These are truly advanced topics, and are the techniques that the gurus use to build great applications. While this book will focus mostly on the Application Programming Interface (API) provided by the Linux kernel and the C library, a preliminary introduction to the development tools available will allow all who purchase the book to make immediate use of Linux.Written by recognized leaders in the open source community! Learn what they've learned from working with well-known groups like Advanced Computing Laboratory of Los Alamos National Laboratory and the GCC Open Source Group.Author Mark Mitchell is the award winning lead developer and manager for the GCC 3.0 release (the compiler used when programming with Linux). Learn the advanced aspects of Linux programming from the best.The ultimate guide to creating, compiling, running, and debugging Linux code.
Multidimensional Convolutional Codes
Authors: Bruce Kitchens
Venue: SIAM Journal on Discrete Mathematics (2002)

Several formulations for the definition of a multidimensional convolutional code are discussed in a symbolic dynamics setting and then one is adopted. Using this definition it is shown that there are five other equivalent formulations. One is in terms of the dual space of linear functionals, one is in terms of a parity check system, one is in terms of an algebraic conjugacy, another is in terms of a convolutional encoder, and the last is in terms of a convolutional decoder. Finally, two examples of two-dimensional convolutional codes are discussed in detail.
New Locking-Free Mixed Method for the Reissner--Mindlin Thin Plate Model
Authors: Mohamed Amara, Daniela Capatina-Papaghiuc, Amna Chatti
Venue: SIAM Journal on Numerical Analysis (2002)

We are interested here in the Reissner--Mindlin model for a bending thin plate with physical boundary conditions. It is well known that this problem depends singularly upon the plate's thickness \( \varepsilon \). By decomposing the bending moment and by dualizing its symmetry, we obtain an equivalent mixed formulation of the initial problem whose unknowns now belong to classical Sobolev spaces. We then propose a low-order conforming finite element method for which we obtain optimal error estimates independently upon the small parameter \( \varepsilon . \) Thus, the discrete method is unconditionally convergent and locking-free. It directly gives an approximation of the bending moment and allows us to recover the two other variables, which are the deflection and the rotation vector.
The Mips Programmer's Handbook, 1st edition
Authors: Erin Farquhar, Phillip Bunce
Venue:  (1993)

:A hands-on view of the highly successful MIPS family of microprocessors, written for programmers developing systems applications for the MIPS platform. The MIPS Programmer's Handbook describes the MIPS architecture from the perspective of assembly- and C-language programmers, with special emphasis on issues related to embedded applications. Engineers writing system-level programs for MIPS-based embedded systems will find the topic selection especially useful including the sections on software conventions, initializing the processor in a bare machine environment, and writing exception handlers. For convenient use, the instruction set reference is presented with only one page per instruction. The authors focus on the instructions available to assembly-language programmers, rather than on the hardware-level instruction set documented in data books released by vendors of the MIPS processor. Provides enough detail for anyone doing serious system-level programming. Also included are ten complete program examples, with line-by-line explanations. Several sample sections are available from the authors' website.
Using Lotus Approach 3.0 for Windows
Authors: Que Corporation, Gerry M. Litton, Andrew Bryce. Shafran
Venue:  (1993)

:This full-featured tutorial and reference helps readers roll through the creation of simple databases, reports, and business forms.Expert tips explain how to design the most effective business databasesFeatures form development strategies that make relational databases more efficient
Dynamics of Human and Primate Societies: Agent-Based Modeling of Social and Spatial Processes
Authors: Timothy A. Kohler, George J. Gummerman
Venue:  (2001)

:Dynamics in Human and Primate Societies presents agent-based modeling studies from archaeologists, ethnologists, sociologists, philosophers, and primatologists that examine these social and spatial dynamics without ignoring their complexity or compromising replicability. With an emphasis on small-scale societies in an effort to maximize realism in the modeling efforts applied to social evolution, this volume is an important step toward an actor-oriented, cross-disciplinary approach to understanding human behavior over time." "Presenting recent advances in software and algorithms for modeling societies, Dynamics in Human and Primate Societies is an ideal book for professionals in archaeology and cultural anthropology as well as a valuable tool for those studying primatology and computer science.
Microsoft Windows Millennium Edition at a Glance
Authors: Jerry Joyce, Marianne Moon
Venue:  (2000)

:Microsoft Windows Millennium Edtion is the first milestone toward simplifying the home computing experience. It will take steps toward achieving the goals of Windows for consumers focusing primariely on four key areas: PC Health, and enhanced Online Experience, Digital Media, and Home Networking. The Windows Millennium Edition product is another in the evolution of consumer operating systems developed by Microsoft, and delivers clear customer value by focusing in on a few feature areas. If you fit one of the following profiles, purchasing Windows Millennium Edition as an upgrade or on a new PC should be a no-brainer for you: You take digital pictures and want to share them with people You spend time on the internet You have multiple PCs at home You want to take advantage of the latest hardware advancements in PCs You want to have a more supportable, more quickly available PC And Consumers who buy Windows Millennium Edition will: Spend more time on the internet Have more PCs in the home and share more information between them Play more music on their PCs and store more pictures Spend more time playing games locally or on the internet Spend less time on a support line or waiting for the system to boot
Evaluating the running time of a communication round over the internet
Authors: Omar Bakr, Idit Keidar
Venue: Proceedings of the twenty-first annual symposium on Principles of distributed computing (2002)

We study the running time of distributed algorithms deployed in a widely distributed setting over the Internet using TCP. We consider a simple primitive that corresponds to a communication round in which every host sends information to every other host; this primitive occurs in numerous distributed algorithms. We experiment with four algorithms that typically implement this primitive. We run our experiments on ten hosts at geographically disperse locations over the Internet. We observe that message loss has a large impact on algorithm running times, which causes leader-based algorithms to usually outperform decentralized ones.
The Revolutionary Guide to Visual Basic 4
Authors: Larry Roof, Wrox Development
Venue:  (1995)

:A comprehensive guide to the new version of Microsoft's Visual Basic. Larry Roof takes Visual Basic programmers who already understand the principles of VB through to real proficiency. The emphasis is on what works in today's corporate environment. The book covers the properties of OLE Servers and includes database programming, multimedia controls and OLE customation. The CD is packed full of source code, demos, tools, and much more.
Business Continuity: IT Risk Management for International Corporations
Authors: Martin Wieczorek, Bob Bartlett, Uwe Naujoks
Venue:  (2002)

:Risk Management and Business Continuity are essential for the competitive capacity of any international corporation. The temporary unavailability of technology and services can endanger the existence of any company. It is cruical to develop an international strategy to deal with these problems. This book provides theoretical analysis and practical solutions on these topics.
How the Web Was Won: Conquering the Digital Frontier, 1st edition
Authors: Cerise Vablais
Venue:  (1998)

:How The Web Was Won: Conquering The Digital Frontier presents a valuable overview of the trials and tribulations of the developers who blazed the early path to the Web-highlighting the techniques that separated the winners from the also-rans. Leveraging the real-world experiences of Level 3 Site Builder Network members, this practical guide presents a complete and authentic picture of Internet development and comes filled with case studies, lessons learned, and proven tips and tactics. Pack a copy of How The Web Was Won: Conquering The Digital Frontier before you ride off on your own Web development expedition. Experience Level: Beginner/ Intermediate 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
Translating refined logic programs to Mercury
Authors: R. Colvin, I. Hayes, D. Hemer, P. Strooper
Venue: Australian Computer Science Communications (2002)

A refinement calculus provides a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we investigate the use of Mercury as the target implementation language for a refinement calculus for logic programs. We describe a prototype tool for translating programs in our specification language to Mercury code. More generally, we investigate the advantages that Mercury has over standard Prolog, with respect to developing correct programs from specifications.
Analyzing information-flow in java program based on slicing technique
Authors: Bixin Li
Venue: ACM SIGSOFT Software Engineering Notes (2002)

Traditional information-flow analysis is mainly based on dataflow and control-flow analysis. In object-oriented program, because of pointer aliasing, inheritance, and polymorphism, information-flow analysis become very complicated. Especially, it is difficult to rely only on normal data and control-flow analysis techniques. some new approaches are required to analyze the information-flow between components in object-oriented program. In this paper, object-oriented program slicing technique is introduced. By this technique, the amount of information-flow, the width of information-flow and correlation coefficient between components can be computed. Some applications of the information-flow are also discussed and analyzed in this paper.
Managing Information: How Information Systems Impact Organizational Strategy
Authors: Gordon Bitter Davis, Scott Hamilton
Venue:  (1992)

:In an integrated manufacturing environment, precision in scheduling, inventory levels, and marketing data is more important than ever. Manufacturers depend on smoothly functioning information systems to capture, process, and distribute the information that is necessary to guide the parts of often far-flung operations. Managing Information provides a detailed description of the underlying technologies associated with information systems, including the roles and capabilities of hardware, software, databases, and communication technology. Using numerous charts and illustrations, MIS experts Gordon Davis and Scott Hamilton show you how information systems affect the performance of a wide range of key job functions. You'll also find practical measures your company can take to improve the efficiency of information flow while keeping costs manageable. Managing Information provides a plan for evaluating the strengths and weaknesses of your current business structure, so you can pinpoint and fulfill your company's unique information requirements; helps you understand the technical aspects and strategic goals of manufacturing information systems - and manage them successfully; clearly demonstrates how to implement a workable information system in an integrated manufacturing environment; and offers valuable insights into why MIS has grown in importance and what is in store for the future. As information technology continues to advance, manufacturing professionals will face new challenges and a wide range of alternatives. Managing Information will help you recognize and select appropriate alternatives for your organization, then integrate them into current functions to make them more effective.
A Fully Integrated, Low Noise and Low Power BiCMOS Front-end Readout System for Capacitive Detectors
Authors: Chaoying-Christine Guo, Philippe Schmitt, Grzegorz Deptuch, Yongcai-Yann Hu
Venue: Analog Integrated Circuits and Signal Processing (2001)

Bipolar transistors are interesting for low noise front-end readout systems when high speed and low power consumption are required. This paper presents a fully integrated, low noise front-end design for the future Large Hadron Collider (LHC) experiments using the radiation hard SOI BiCMOS process. In the present prototype, the input-referred Equivalent Noise Charge (ENC) of 990 electrons (i>rms) for 12 pF detector capacitance with a shaping time of 25 ns and power consumption of 1.4 mW/channel has been measured. The gain of this front-end is 90 mV/MIP (Minimum Ionisation Particle: 1 {\rm MIP} = 3.84 fC) with non-linearity of less than 3% and linear input dynamic range is \pm 5 MIP. These results are obtained at room temperature and before irradiation. The measurements after irradiations by high intensity pion beam with an integrated flux of 1.0\times 10^{14} pions/cm2 are also presented in this paper.
Banjo-Tooie Official Strategy Guide with Poster
Authors: Tim Bogenn, Douglas Walsh
Venue:  (2000)

:It's time to join Banjo, Kazooie, and no one named Tooie in their zaniest, most exciting adventure yet! They may have sent ol' Grunty to the grave last time around, but that's not enough to stop any self-respecting witch -- and now it's a sister act! Three against two? That hardly seems fair! Time to even the odds for bird and bear!
Object-oriented programming and design patterns
Authors: Joseph E. Lang, Brian R. Bogovich, Sean C. Barry, Brian G. Durkin, Michael R. Katchmar, Jonathan H. Kelly, J. Michael McCollum, Michael Potts
Venue: ACM SIGCSE Bulletin (2001)

When teaching object-oriented concepts, design patterns are usually left until the end or left out entirely. In this paper, design patterns are related to the rules of object-oriented design, strongly suggesting that these two concepts should be taught together as beneficial for the understanding of both.
Linear-Quadratic Control of Backward Stochastic Differential Equations
Authors: Andrew E. B. Lim, Xun Yu Zhou
Venue: SIAM Journal on Control and Optimization (2001)

This paper is concerned with optimal control of linear backward stochastic differential equations (BSDEs) with a quadratic cost criteria, or backward linear-quadratic (BLQ) control. The solution of this problem is obtained completely and explicitly by using an approach which is based primarily on the completion-of-squares technique. Two alternative, though equivalent, expressions for the optimal control are obtained. The first of these involves a pair of Riccati-type equations, an uncontrolled BSDE, and an uncontrolled forward stochastic differential equation (SDE), while the second is in terms of a Hamiltonian system. Contrary to the deterministic or stochastic forward case, the optimal control is no longer a feedback of the current state; rather, it is a feedback of the entire history of the state. A key step in our derivation is a proof of global solvability of the aforementioned Riccati equations. Although of independent interest, this issue has particular relevance to the BLQ problem since these Riccati equations play a central role in our solution. Last but not least, it is demonstrated that the optimal control obtained coincides with the solution of a certain forward linear-quadratic (LQ) problem. This, in turn, reveals the origin of the Riccati equations introduced.
Computer security: quality rather than quantity
Authors: Rebecca T. Mercuri
Venue: Communications of the ACM (2002)

The challenge of applying protection to systems, software, and networks with intrinsic vulnerabilities is a lofty, but ultimately realizable, one.
Programming and Problem Solving with C++, 3rd edition
Authors: Nell Dale, Chip Weems, Mark R. Headington
Venue:  (2002)

:This book continues to reflect our experience that topics once considered too advanced can be taught in the first course. The text addresses metalanguages explicitly as the formal means of specifying programming language syntax.
SIGACT News Complexity Theory Column 12
Authors: Lane A. Hemaspaandra
Venue: ACM SIGACT News (1996)

Please don't be shy about sending even vague pointers to people who may have complete or partial resolutions of the problems mentioned in any of the open questions columns that have appeared as earlier complexity theory columns. Though I don't give a dollar for each solved problem (what do you expect on a theoretician's salary!), I'll be delighted to report in this space on resolutions (such as the thrilling resolution by Cai and Sivakumar that was mentioned in the previous column). Without further delay, here is this issue's guest column, by Mihir Bellare.
Quality of Service Control in High-Speed Networks
Authors: H. Jonathan Chao, Xiaolei Guo
Venue:  (2001)

:Expert coverage of the state of the art in quality of service implementation Quality of Service Control in High-Speed Networks addresses the basics, theory, architectures, and technologies to implement QoS control in ATM, IP, and MPLS high-speed networks. It provides a comprehensive overview of existing QoS control techniques and describes practical approaches to their implementation. The authors survey the most up-to-date developments in control strategies in self-contained chapterscomplete with extensive reference liststhat allow study of select topics. Quality of Service Control in High-Speed Networks covers these topics and more: Admission control and data communication channel acceptance Traffic access control Packet scheduling algorithms Packet fair queuing implementation Buffer management Flow and congestion control QoS routing Basic architecture and conceptual models of differentiated services (DiffServ) Multiprotocol label switching (MPLS) technology SONET and ATM
Designing Web Audio, 1st edition
Authors: Josh Beggs, Dylan Thede
Venue:  (1999)

:Designing Web Audio is the most complete Internet audio guide on the market. It's loaded with informative real-world case studies and interviews with some of the world's leading audio and web producers. It contains step-by-step intstructions on how to build multimedia web pages using the most popular web audio formats. This book also includes a wealth of basic digital audio and sound wave theory, practical tips and techniques for recording and editing audio for the Web, and an invaluable buyer's guide to building an effective sound studio. Designing Web Audio explains how digital audio is encoded from microphone to hard disk; how sound is processed using compression and equalization; and how to turn audio source material into a great soundtrack using loops and ambient soundscapes. Designing Web Audio demystifies its subject with informative step-by-step techniques for encoding, compression, and streaming audio over the Web. This book includes the following: The most up-to-date, step-by-step guides to the latest popular streaming media formats for building multimedia web pages including RealAudio, Shockwave, Flash, MP3, MIDI, and RMF (Beatnik). A step-by-step guide to building multimedia Synchronized Media Integration Language (SMIL) presentations using the new RealSystem G2. (This is the only book on the market that offers information on this.) In-depth coverage of the sound design principles for building effective multimedia web pages with sound, including examples of real-world sound design techniques used by leading film and CD-ROM sound designers. Informative case studies featuring leading companies such as N2K, Fox News Corp,TechWeb, and Sonicopia, and how they are enhancing their web pages using Flash, RealAudio, Shockwave, or Beatnik's audio technologies. Tips from two Academy Award-winning sound designers that will help web professionals use audio more intelligently. In-depth consumer buyer's guide with street prices and tips for buying the best gear at the lowest prices to produce high-quality Internet audio in-house. Thorough practical coverage of digital audio theory and basic recording and editing techniques. The easy-to-follow, step-by-step instructions on using the leading audio formats will make Designing Web Audio an invaluable resource for Web developers and individuals who want to stream their own music over the Web.