ppxscal/embedding_network huggingface dataset:
The mitre meteor robot control software: simulate as you operate
Authors: Richard M. Weatherly, Frederick S. Kuhl, Robert H. Bolling, Robert J. Grabowski
Venue: Proceedings of the 38th conference on Winter simulation (2006)

The Defense Advanced Research Projects Agency (DARPA) challenged autonomous ground vehicle developers in the "2005 DARPA Grand Challenge" to build a vehicle that could complete a 132 mile course through the American desert southwest. MITRE, a not-for-profit systems engineering company, responded to this challenge by creating the MITRE Meteor in just 11 months. This rapid development relied on software employment transparency to get the maximum utility out of each line of code. Judicious design of the software framework allowed the same body of code to animate the robot in the field, support laboratory experimentation, and analyze recorded field testing data. This paper describes how software employment transparency was achieved and how it increased development efficiency.
New product applications: microprogrammed bipolar microcomputers are assembled from integrated circuit blocks
Authors: Stanley Habib
Venue: ACM SIGMICRO Newsletter (1975)

Many other system organizations, including multiprocessors, can be imoplemented. For example, many MCU-control memory sections can share one central processor (CP) array when many similar machines or devices must be controlled. Sharing a CP array will rarely affect control speed, since control data is processed at rates far higher than normal machine operating rates.
An overview of the MATHILDA system
Authors: Peter Kornerup, Bruce D. Shriver
Venue: ACM SIGMICRO Newsletter (1975)

A dynamically microprogrammable processor called MATHILDA is described. MATHILDA has been designed to be used as a tool in emulator and processor design research. It has a very general micro-instruction sequencing scheme, sophisticated masking and shifting capability, high speed local storage, a 64-bit wide main data path, a horizontally encoded microinstruction, and other facilities which make it reasonably well suited for this purpose. This paper presents an overview of the MATHILDA system.
Linux Firewalls (3rd Edition) (Novell Press)
Authors: Steve Suehring, Robert Ziegler
Venue:  (2005)

An Internet-connected Linux machine is in a high-risk situation. Linux Firewalls, Third Edition details security steps that any sized implementation--from home use to enterprise level--might take to protect itself from potential remote attackers. As with the first two editions, this book is especially useful for its explanations of iptables, packet filtering, and firewall optimization along with some advanced concepts including customizing the Linux kernel to enhance security.The third edition, while distribution neutral, has been updated for the current Linux Kernel and provides code examples for Red Hat, SUSE, and Debian implementations. Don't miss out on the third edition of the critically acclaimed Linux Firewalls.
Adaptive Probabilistic Search Over Unstructured Peer-to-Peer Computing Systems
Authors: Aoying Zhou, Linhao Xu, Chenyun Dai
Venue: World Wide Web (2006)

A challenging problem that confronts unstructured peer-to-peer (P2P) computing systems is how to provide efficient support to locate desired files. This paper addresses this problem by using some quantitative information in the form of probabilistic knowledge. Two types of probabilistic knowledge are considered in this paper: overlap between topics shared in the network and coverage of topics at each individual peer. Based on the probabilistic knowledge, this paper proposes an adaptive probabilistic search algorithm that can efficiently support file locating operation in the unstructured P2P network. Then, an update algorithm is devised to keep the freshness of the probabilistic knowledge of individual peers by taking advantage of feedback from the previous user queries. Finally, some extensive experiments are conducted to evaluate the efficiency and effectiveness of the proposed method.
A mobile knowledge carrier with personalized knowledge provision
Authors: Jiang-Liang Hou, Shih-Ting Yang
Venue: Computers and Industrial Engineering (2006)

In the e-commerce era, the organization knowledge within a centralized knowledge management server can be easily accessed over the Internet by the client PCs at distinct locations. Currently, the personal digital assistant (PDA) has been widely used as the carrier for personal memos and daily records for its high mobility. Taking advantage of the personal information, the user requirements for knowledge can be determined. This research presents an intelligent KM scheme by integrating the PDA information (including notes, schedules and address book) mining model and mobile knowledge management mechanism. Based on the user profile mining technique, the PDA-ready knowledge that fits user requirements can be imported from the knowledge server to the client PDA. Demonstration cases are also provided to illustrate the applications of the proposed model in the content services and healthcare industry. By application of the mobile KM technique, the organization knowledge can be seamlessly provided to the PDA user via the data synchronization process. The attempt of this paper is to present an applicable and intelligent mobile knowledge carrier for realization of the mobile office.
Automatic generation of test-beds for pre-deployment QoS evaluation of web services
Authors: Antonia Bertolino, Guglielmo De Angelis, Andrea Polini
Venue: Proceedings of the 6th international workshop on Software and performance (2007)

This paper presents Puppet (Pick UP Performance Evaluation Test-bed), an approach for the automatic generation of test-beds to empirically evaluate different QoS features of a Web Service under development. Specifically, the generation exploits the information about the coordinating scenario, the service description and the specification of the agreements that the roles will abide. The approach is supported by a proof-of-concept tool to validate the feasibility of the idea.
Stationary characteristics of a single-channel queuing system with one waiting space
Authors: Yu. E. Obzherin, A. I. Peschanskii
Venue: Cybernetics and Systems Analysis (2006)

A semi-Markovian model of a queuing system, with a discrete-continuous phase space of states is developed. Its main stationary characteristics are determined.
Snug set-associative caches: Reducing leakage power of instruction and data caches with no performance penalties
Authors: Yuan-Shin Hwang, Jia-Jhe Li
Venue: ACM Transactions on Architecture and Code Optimization (TACO) (2007)

As transistors keep shrinking and on-chip caches keep growing, static power dissipation resulting from leakage of caches takes an increasing fraction of total power in processors. Several techniques have already been proposed to reduce leakage power by turning off unused cache lines. However, they all have to pay the price of performance degradation. This paper presents a cache architecture, the snug set-associative (SSA) cache, that cuts most of static power dissipation of caches without incuring performance penalties. The SSA cache reduces leakage power by implementing the minimum set-associative scheme, which only activates the minimal numbers of ways in each cache set, while the performance losses caused by this scheme are compensated by the base-offset load/store queues. The rationale of combining these two techniques is locality: as the contents of the cache blocks in the current working set are repeatedly accessed, same addresses would be computed again and again. The SSA cache architecture can be applied to data and instruction caches to reduce leakage power without incurring performance penalties. Experimental results show that SSA can cut static power consumption of the L1 data cache by 93&percnt;, on average, for SPECint2000 benchmarks, while the execution times are reduced by 5&percnt;. Similarly, SSA can cut leakage dissipation of the L1 instruction cache by 92&percnt;, on average, and improve performance over 3&percnt;. Furthermore, when SSA is adopted for both L1 data and instruction caches, the normalized leakage of L1 data and instruction caches is lowered to 8&percnt;, on average, while still accomplishing a 2&percnt; reduction in execution times.
Photoshop CS2 Killer Tips
Authors: Scott Kelby, Felix Nelson
Venue:  (2005)

Scott Kelby and Felix Nelson (the creative team behind Photoshop User magazine) take their best-selling Photoshop Killer Tips books to a whole new level with their update for Photoshop CS2.Okay, why a book of nothing but tips? Because that's where all the really slick, really useful, and really fun stuff is. It's true! If we're looking through a book and we see the word "Tip" we're all immediately drawn to it, because we know we're about to learn something great.ï¾ Maybe it's an undocumented keyboard shortcut, a hidden inside secret, or just a faster, better way to do something we do every day. The only problem with the tips in these books is that there are never enough of 'em.ï¾ That is, until now.That's because this book is packed cover-to-cover, wall-to-wall with nothing but those cool Photoshop CS2 sidebar tips. Every tip is designed to make you work faster, smarter, and have more fun using Photoshop CS2. There are no detailed descriptions of CMYK separation set-ups, or long boring discussions on color management theory. It's just tips--short, sweet, and to the point.But we've done the "tip" idea one better, because every tip has a full-color graphic to make the tips even more accessible, even more fun, and even easier to use. Most importantly, to get in this book they've got to be "Killer Tips." The kind of tip that makes you smile, nod, and then call all your friends and "tune them up" with your newï¾ status as Photoshop guru.If you've wondered how the pros get twice the work done in half the time, it's because they know all the tips, and all the tricks. Now with this book, so will you.
Sams Teach Yourself Web Publishing with HTML and CSS in One Hour a Day (5th Edition) (Sams Teach Yourself)
Authors: Laura Lemay, Rafe Colburn
Venue:  (2006)

Sams Teach Yourself Web Publishing with HTML and CSS in One Hour a Dayï¾ is a new edition of the best-selling book that started the whole HTML/web publishing phenomenon. The entire book has been revised and refined to reflect current web publishing practices and technologies.ï¾ It includes extensive coverage of Cascading Style Sheets (CSS), which have become a staple in web development.You'll have no problem learning from expert author Laura Lemay's clear and approachable writing style. Simple, step-by-step instructions with lots of practical, interesting examples of web pages will guide you as you master current web publishing technologies and practices.
Anisotropic mesh adaptation in computational fluid dynamics: application to the advection-diffusion-reaction and the Stokes problems
Authors: Luca Formaggia, Stefano Micheletti, Simona Perotto
Venue: Applied Numerical Mathematics (2004)

In this work we develop an anisotropic a posteriori error analysis of the advection-diffusion-reaction and the Stokes problems. This is the first step towards the study of more complex situations, such as the Oseen and Navier-Stokes equations, which are very common in Computational Fluid Dynamic (CFD) applications. The leading idea of our analysis consists of combining the anisotropic interpolation error estimates for affine triangular finite elements provided in [Numer. Math. 89 (2001) 641; Numer. Math. 94 (2003) 67] with the a posteriori error analysis based on a dual problem associated with the problem at hand [East-West J. Numer. Math. 4 (1996) 237; Comput. Methods Appl. Mech. Engrg. 166 (1998) 99]. Anisotropic interpolation estimates take into account in more detail the geometry of the triangular elements, i.e., not just their diameter but also their aspect ratio and orientation. On the other hand, the introduction of the dual problem allows us to control suitable functionals of the discretization error, e.g., the lift and drag around bodies in external flows, mean and local values, etc. The combined use of both approaches yields an adaptive algorithm which, via an iterative process, can be used for designing the optimal mesh for the problem at hand.
UPCF: a new point coordination function with QoS and power management for multimedia over wireless LANs
Authors: Zi-Tsan Chou, Ching-Chi Hsu, Shin-Neng Hsu
Venue: IEEE/ACM Transactions on Networking (TON) (2006)

In this paper, we propose a new novel polling-based medium access control protocol, named UPCF (Unified Point Coordination Function), to provide power conservation and quality-of-service (QoS) guarantees for multimedia applications over wireless local area networks. Specifically, UPCF has the following attractive features. First, it supports multiple priority levels and guarantees that high-priority stations always join the polling list earlier than low-priority stations. Second, it provides fast reservation scheme such that associated stations with real-time traffic can get on the polling list in bounded time. Third, it employs dynamic channel time allocation scheme to support CBR/VBR transportation and provide per-flow probabilistic bandwidth assurance. Fourth, it employs the power management techniques to let mobile stations save as much energy as possible. Fifth, it adopts the mobile-assisted admission control technique such that the point coordinator can admit as many newly flows as possible while not violating QoS guarantees made to already-admitted flows. The performance of UPCF is evaluated through both analysis and simulations. Simulation results do confirm that, as compared with the PCF in IEEE 802.11, UPCF not only provides higher goodput and energy throughput, but also achieves lower power consumption and frame loss due to delay expiry. Last but not least, we expect that UPCF can pass the current Wi-Fi certification and may coexist with the upcoming IEEE 802.11e standard.
A decision support tool for Dofasco's primary steelmaking operations
Authors: Darrell W. Starks, Robert S. Schwieters, Daniel Creces
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Dofasco Inc. needed a dynamic decision support tool in order to evaluate its primary steelmaking operations. Before working with Rockwell Automation, Dofasco used spreadsheet models and smaller simulations to evaluate capital expenditures at its steel mill. It was determined that modeling all of Dofasco's primary steel operations using Rockwell Software's Arena&reg; coupled with an Excel user interface would allow Dofasco to perform various scenarios in a timely fashion. Through the use of modeling and simulation Dofasco was able to identify bottlenecks in its system, improve throughput by more efficient use of system resources, and understand the impact of proposed system changes before investing additional capital.
Creating a Photo Book and Slideshow with iPhoto 5: Visual QuickProject Guide
Authors: Elizabeth Castro
Venue:  (2005)

Whether it's charming wallet-size photo-booklet party favors or slideshows with dazzling transitions and synched-up soundtracks that users want to create with iPhoto, chances are they don t want to learn about every last iPhoto feature and function to do so. They just want to create something quickly--and this colorful, compact guide lets them. Veteran author Elizabeth Castro starts at the beginning, showing readers how to import, organize, edit, and select the best photos for use in their iPhoto books and slideshows. From there, she launches into the heart of this book--project-based instruction for creating books and slideshows with iPhoto. Throughout the focus is on doing as full-page, full-color screen shots and simple, step-by-step instructions lead readers through the process of assembling their first books and slideshows with iPhoto. Along the way, users will learn to take advantage of iPhoto's coolest new features: a slew of useful image-editing tools; an improved book-creation engine that lets you drag and drop photos into different layouts with ease; new ways to store, browse, and edit images; and a wider variety of styles, options, and layouts for photo books.
Studying endocytosis in space and time by means of temporal Boolean models
Authors: R. Sebastian, E. Díaz, G. Ayala, M. E. Díaz, R. Zoncu, D. Toomre
Venue: Pattern Recognition (2006)

Endocytosis is a process by which cells carry traffic from the extracellular space into various intracellular compartments. Visualization of fluorescently tagged clathrin proteins (mediators of endocytosis) allows us to image endocytosis in real time. When imaging the plasma membrane, areas of fluorescence generated by different endocytic processes overlap spatially and temporally, forming random clumps. Here, a sequence of segmented clathrin spots is considered a realization of a non-isotropic 3D Boolean model. Estimates of the intensity, the mean perimeter and the density function of the durations of endocytic events are obtained.
Software tools for safety-critical software development
Authors: Alan Wassyng, Mark Lawford
Venue: International Journal on Software Tools for Technology Transfer (STTT) (2006)

We briefly present a software methodology for safety-critical software, developed over many years to cope with industrial safety-critical applications in the Canadian nuclear industry. Following this we present discussion on software tools that have been used to support this methodology, and software tools that could be used, but have not been used for a variety of reasons. Based on our experience, we also present and motivate a list of high-level requirements for tools that would facilitate the development of safety-critical software using the presented methods, together with a small number of tools that we believe are worth developing in the future.
Agile Java Development with Spring, Hibernate and Eclipse (Developer's Library)
Authors: Anil Hemrajani
Venue:  (2006)

Agile Java™ Development With Spring, Hibernate and Eclipse is a book about robust technologies and effective methods which help bring simplicity back into the world of enterprise Java development. The three key technologies covered in this book, the Spring Framework, Hibernate and Eclipse, help reduce the complexity of enterprise Java development significantly. Furthermore, these technologies enable plain old Java objects (POJOs) to be deployed in light-weight containers versus heavy-handed remote objects that require heavy EJB containers. This book also extensively covers technologies such as Ant, JUnit, JSP tag libraries and touches upon other areas such as such logging, GUI based debugging, monitoring using JMX, job scheduling, emailing, and more. Also, Extreme Programming (XP), Agile Model Driven Development (AMDD) and refactoring are methods that can expedite the software development projects by reducing the amount of up front requirements and design; hence these methods are embedded throughout the book but with just enough details and examples to not sidetrack the focus of this book. In addition, this book contains well separated, subjective material (opinion sidebars), comic illustrations, tips and tricks, all of which provide real-world and practical perspectives on relevant topics. Last but not least, this book demonstrates the complete lifecycle by building and following a sample application, chapter-by-chapter, starting from conceptualization to production using the technology and processes covered in this book. In summary, by using the technologies and methods covered in this book, the reader will be able to effectively develop enterprise-class Java applications, in an agile manner!
Online Hierarchical Cooperative Caching
Authors: Xiaozhou Li, C. Greg Plaxton, Mitul Tiwari, Arun Venkataramani
Venue: Theory of Computing Systems (2006)

We address a hierarchical generalization of the well-known disk paging problem. In the hierarchical cooperative caching problem, a set of n machines residing in an ultrametric space cooperate with one another to satisfy a sequence of read requests to a collection of read-only files. A seminal result in the area of competitive analysis states that the "least recently used" (LRU) paging algorithm is constant-competitive if it is given a constant-factor blowup in capacity over the offline algorithm. Does such a constant-competitive deterministic algorithm, with a constant-factor blowup in the machine capacities, exist for the hierarchical cooperative caching problem? In this paper we present a deterministic hierarchical generalization of LRU that is constant-competitive when the capacity blowup is linear in d, the depth of the cache hierarchy. Furthermore, we exhibit an infinite family of depth-d hierarchies such that any randomized hierarchical cooperative caching algorithm with capacity blowup b has competitive ratio &#x03a9;(log(d/b)) against an oblivious adversary. Thus, our upper and lower bounds imply a tight bound of &#x0398;(d) on the capacity blowup required to achieve constant competitiveness.
Fonts & Encodings
Authors: Yannis Haralambous, P. Scott Horne
Venue:  (2007)

This reference is a fascinating and complete guide to using fonts and typography on the Web and across a variety of operating systems and application software. Fonts & Encodings shows you how to take full advantage of the incredible number of typographic options available, with advanced material that covers everything from designing glyphs to developing software that creates and processes fonts. The era of ASCII characters on green screens is long gone, and industry leaders such as Apple, HP, IBM, Microsoft, and Oracle have adopted the Unicode Worldwide Character Standard. Yet, many software applications and web sites still use a host of standards, including PostScript, TrueType, TeX/Omega, SVG, Fontlab, FontForge, Metafont, Panose, and OpenType. This book explores each option in depth, and provides background behind the processes that comprise today's "digital space for writing": Part I introduces Unicode, with a brief history of codes and encodings including ASCII. Learn about the morass of the data that accompanies each Unicode character, and how Unicode deals with normalization, the bidirectional algorithm, and the handling of East Asian characters.Part II discusses font management, including installation, tools for activation/deactivation, and font choices for three different systems: Windows, the Mac OS, and the X Window System (Unix).Part III deals with the technical use of fonts in two specific cases: the TeX typesetting system (and its successor, W, which the author co-developed) and web pages.Part IV describes methods for classifying fonts: Vox, Alessandrini, and Panose-1, which is used by Windows and the CSS standard. Learn about existing tools for creating (or modifying) fonts, including FontLab and FontForge, and become familiar with OpenType properties and AAT fonts. Nowhere else will you find the valuable technical information on fonts and typography that software developers, web developers, and graphic artists need to know to get typography and fonts to work properly.