ppxscal/embedding_network huggingface dataset:
Matching operating systems to application needs: a case study
Authors: Martin Herdieckerhoff, Frédéric Ruget
Venue: Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs (1994)

The increasing complexity of current computer systems has generated new requirements for advanced monitoring and debugging support. This is particularly true for real-time and distributed applications. In this paper, we present new kernel support for monitoring and debugging tools, within the CHORUS micro-kernel architecture. The highlights of the support are its modularity, the use of an upcall mechanism, and a flexible extendable object oriented interface.
Pure JSP Java Server Pages
Authors: James Goodwill
Venue:  (2000)

:Pure JSP gives a very concise conceptual overview of the JavaServer Pages technology and its related components. Once you have a firm foundation with the JSP technology, related topics such as JavaBeans, JDBC and Servlets are covered at a very high level. The book moves on to explain a large number of JSP techniques, which were determined by studying problems faced by JSP users in the professional world. The final section covers the more technical aspects of the JSP technology. Topics include related API's, server configuration, and charts and diagrams related to developing JSP applications.
Easy Internet, 1st edition
Authors: Joe Kraynak
Venue:  (1998)

:The Internet is the largest network on the planet, connecting your computer to computers all over the world. The inter connected nature of the Internet gives you access to resources stored on remote computers, including multimedia pages, audio and video clips, games, and programs. And, because the Internet connects you with other Internet users, you can exchange e-mail, chat, join in discussion groups, and even make Internet phone calls to other people who are connected to the Internet. With an Internet connection, the right programs, and Easy Internet, Third Edition, as your roadmap, you have everything you need to get started. You'll be chatting up a storm and surfing like a pro in no time!
A probabilistic analysis for the range assignment problem in ad hoc networks
Authors: Paolo Santi, Douglas M. Blough, Feodor Vainstein
Venue: Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking computing (2001)

In this paper we consider the following problem for ad hoc networks: assume that n nodes are distributed in a d-dimensional region, with 1&le;d&le;3, and assume that all the nodes have the same transmitting range r; how large must r be to ensure that the resulting network is strongly connected? We study this problem by means of a probabilistic approach, and we establish lower and upper bounds on the probability of connectedness. For the one-dimensional case, these bounds allow us to determine a suitable magnitude of r for a given number of nodes and displacement region size. In an alternate formulation, the bounds allow us to calculate how many nodes must be distributed should the transmitting range be fixed. Finally, we investigate the required magnitude of r in the two- and three-dimensional cases through simulation. Based on the bounds provided and on the simulation analysis, we conclude that, as compared to the deterministic case, a probabilistic solution to this range assignment problem achieves substantial energy savings. A number of other potential uses for our analyses are discussed as well
Latent semantic linking over homogeneous repositories
Authors: Alessandra Alaniz Macedo, Maria da Graça Campos Pimentel, José Antonio Camacho Guerrero
Venue: Proceedings of the 2001 ACM Symposium on Document engineering (2001)

We present a framework for the automatic generation of links based on salient semantic structures extracted from homogeneous web repositories, and discuss an imple-mentation of the framework. For this study, we consider homogeneous the repositories of the eClass, an instrumented environment that automatically captures details of a lecture and provides effective multimedia-enhanced web-based in-terfaces for users to review the lecture, and the CoWeb, a web-based service for collaborative authoring of web-based material. We exploited Latent Semantic Analysis over data indexed by a general public license search engine. We exper-imented our service with data from a graduate course sup-ported by both eClass and CoWeb repositories. We present the results of the Latent Semantic Analysis linking service in the light of results previously obtained with our previous works.
Proof-term synthesis on dependent-type systems via explicit substitutions
Authors: César Muñoz
Venue: Theoretical Computer Science (2001)

Typed λ-terms are used as a compact and linear representation of proofs in intuitionistic logic. This is possible since the Curry-Howard isomorphism relates proof-trees with typed λ-terms. The proofs-as-terms principle can be used to verify the validity of a proof by type checking the λ term extracted from the complete proof-tree. In this paper we present a proof synthesis method for dependent-type systems where typed open terms are built incrementally at the same time as proofs are done. This way, every construction step, not just the last one, may be type checked. The method is based on a suitable calculus where substitutions as well as meta-variables are first-class objects. Copyright 2001 Elsevier Science B.V.
Options pricing: using simulation for option pricing
Authors: John M. Charnes
Venue: Proceedings of the 32nd conference on Winter simulation (2000)

Monte Carlo simulation is a popular method for pricing financial options and other derivative securities because of the availability of powerful workstations and recent advances in applying the tool. The existence of easy-to-use software makes simulation accessible to many users who would otherwise avoid programming the algorithms necessary to value derivative securities. This paper presents examples of option pricing and variance reduction, and demonstrates their implementation with Crystal Ball 2000, a spreadsheet simulation add-in program.
Introduction to Information Systems, 7th edition
Authors: James A. O'Brien
Venue:  (1993)

:Introduction to Information Systems 9/E is a traditional book because of the organization of the table of contents and the five-level framework that is used to describe the stages of Information Systems development. This text provides brief but complete coverage of the major topics covered in a first course and has been thoroughly revised to reflect the movement toward enterprise-wide business applications. All case studies and real-world problems have been updated to correspond with this movement as well The 9E is the "Essentials" version of O'Brien's books. The text's focus is on teaching the general business manager how to use and manage the most current IT technologies like the Internet,Intranets,and Extranets for electronic commerce and enterprise collaboration,and how IT contributes to competitive advantage,reengineering business processes,and decision making
Manual de MS Word 2000 con CD-ROM (en Espanol / Spanish)
Authors: Adriana Cruz
Venue:  (2000)

From the Book:El mate se cura cebando" dice un conocido dicho popular. Y sin embargo, no es cierto. La curacion, es un proceso de dos (o mas) dias que pone listo al mate para ser usado. Lo mismo sucede con los usuarios de software. Especialmente los de Microsoft Word. Bien es cierto que aprenden mucho con la practica. Pero previamente se deben advertir los errores comunes, los vicios en que se puede llegar a caer y extirpa como a los hollejos del mate. El usuario jamas se preparara para llegar a usar bien el programa si no sabe hasta que punto puede perjudicar una forma de hacer las cosas. Por eso aqui, veremos no solo como utilizar bien el programa, sino tambien, como no utilizarlo mal. Porque bien es cierto, que siempre hay dos o tres maneras de hacer las cosas bien. Pero tambien hay cinco o diez formas de hacerlas mal. Los lectores, deberan agradecerle a Miguel Lederkremer, Romina Schnaider y a Gustavo Katcheroff que me convencieron de trabajar con el CD-ROM. En el encontraran los documentos con los que yo me apoye para realizar las imagenes de este libro. Algunas Macros interesantes y programas para sobrellevar la vida informatica. Mas que agradecida a los lectores, por esta nueva muestra de locura y confianza, los dejo, para que puedan disfrutar y no se aburran con mis palabras... 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
Buying Travel Services on the Internet, 1st edition
Authors: Durant Imboden
Venue:  (1999)

:The world's leading e-commerce association shows how to find the best travel deals online. Looking for rock-bottom prices on airline tickets and car rentals? In search of the perfect hotel or resort? Checking out cruises? Doing research on business desitnations,family vacations,orromantic getaways? Travel already draws more people to the Internet than any other topic - and online travel revenues will reach an astounding $12 billion by 2002,according to The Industry Standard,which tracks Net economy. It all adds up to a huge built-in audience for this taime-saving guide. Like a well-connected travel agent,it takes netsurfing travelers straight to the best deals. Special features include: Guided tours of key sites like Travelocity and City. net; Tips on using Priceline and similar "name your price" services; Advice on comparison-shopping and bargaining; Questions to ask and scams to avoid. Where do you want to go today? Fly direct to the best travel information on the Web! Did you know that travel is the most sought-for topic on the world wide web? With good reason. Wherever you want to go,whatever you want to know,it's there somewhere on the Internet: the cheap fares,the hard-to-find information,the time-saving services. But how do you find what you need without wandering all across cyberspace? Start your trip here: Buying Travel Services on the Internet. Travel writer Durant Imboden and CommerceNet,the foremost nonprofit organization for e-commerce,have done the legwork for you. They sifted thousands of sitesthey even researched the search enginesto collect only the best into one definitive,unibiased guidebook that puts your destination justa click away! Whether you're heading for Machu Pichu or Missoula,on the road for business or pleasure,this URL-packed,globe-trotting,web-navigating guidebook is your best ticket to the most useful,money-saving,and interesting travel-related sites on the Internet. Get right to the sites that help you: comparison shop for airline and cruise bargains virtual-visit almost every spot on earthfrom Algarve to Zimbabwe; check into lodging,from 5-star hotels to eco-campgrounds; rent a car,track a rail route,book a berth on a freighter; map door-to-door travel directions; apply for a passport and visas; plan family vacations,gay/lesbian travel,adventures,and other special-interest trips; prepare with health and safety into,and weather forecasts; calculate currency conversions. 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
MCSE NT Server 4 (Exam Preparation Series)
Authors: Michael J. Palmer
Venue:  (1998)

:To ensure the level of quality and knowledge among its Systems Engineers, Microsoft created the Microsoft Certified Systems Engineer Program, which includes an exam on NT Server 4.0. MCSE NT Server 4 Exam Prep was created to help networking professionals gain knowledge that directly applies to the Microsoft certification exam for NT Server 4.0. All the topics necessary to pass the NT Server 4.0 exam are covered, including Windows NT installation, NT's file system, performance monitoring, NT/NetWare relationships, printing, backup and recovery, NT Remote Access Services (RAS), NT boot process, and troubleshooting system failures. Serves as a comprehensive Exam Prep Study Guide for Exam #70-067: Implementing and Supporting Microsoft Windows NT Server 4.0. Has the official Microsoft Certified Professional Approved Study Guide logo, indicating approval by Microsoft, to give that competitive edge. Features real-world examples, interactive activities, and over 100 projects that reinforce key concepts and help prepare for the exam. Content developed by Course Technology, a publisher specializing in technical content development for adult education. Contains troubleshooting tips that provide solutions and ideas for solving common problems. Is written by an experienced author who has taken the certification exam and is an MCSE. Two interactive practice exams that feature questions based on those encountered in the actual exam, allowing readers to test their skills and knowledge and help build confidence before taking the actual certification exam Resources and links on CD-ROM to various Web sites devoted to Microsoft Certification and Microsoft NT Server software
Camera agents in a theatre of work
Authors: Leonie Schäfer, Stefan Küppers
Venue: Proceedings of the 7th international conference on Intelligent user interfaces (2002)

We describe a novel approach for personalized navigation in a social virtual environment, in which a camera agent enables context-dependent exploration in a three-dimensional information landscape. This type of concept has potential applications for dynamic virtual environments, virtual narratives and awareness in virtual teams. We apply this approach within TOWER, a Theatre of Work, which allows project members to be aware of project relevant activities as well as to establish social relationships to intensify team coherence.
Data Analysis with SPSS
Authors: Stephen A. Sweet
Venue:  (1998)

:According to Labor Secretary, Robert Reich, the most successful workers in the 21st century will be those who are able to understand various forms of information and produce meaning from it. Reich calls these people symbolic analysts, and they often use statistics. Yet, many individuals find statistics alienating, boring, intimidating, or as simply another hurdle to get over. Contrary to popular belief, though, quantitative research can be fun. This book is designed to help readers develop an appreciation, and hopefully an excitement, for quantitative inquiry. This book first orients readers to the approach researchers use to frame research questions and to the logic of establishing causal relations. Thereafter, the SPSS program is introduced. Readers are guided through examining data sets, univariate analysis, bivariate analysis, graphic analysis, and multivariate analysis. Two large data sets are included with the book. Anyone using SPSS, the statistics program for social science research.
Fast and accurate wire delay estimation for physical synthesis of large ASICs
Authors: Ruchir Puri, David S. Kung, Anthony D. Drumm
Venue: Proceedings of the 12th ACM Great Lakes symposium on VLSI (2002)

Interconnect delays represent an increasingly dominant portion of overall circuit delays. During timing-driven physical synthesis process, timing analysis is repeatedly performed over several hundred thousand components. Thus, fast and accurate estimation of interconnect delays is crucial. Traditionally, lumped and elmore delay models have been widely used for computing interconnect delays in physical synthesis due to their computational efficiency. However, these delay models are known to be inaccurate since they ignore slew and resistive shielding effects. In this paper, we propose a new iterative refinement based delay estimation approach that considers resistive shielding along with driver slew. Experimental results show that the proposed approach gives not only highly accurate results for far end RC-line delays but also compares very favorably to more difficult to match source end delays and source slews. In addition, use of the proposed delay model in physical synthesis yields significant performance improvement on several large industrial ASICs.
A General Theory for Deadlock-Free Adaptive Routing Using a Mixed Set of Resources
Authors: J. Duato, T. M. Pinkston
Venue: IEEE Transactions on Parallel and Distributed Systems (2001)

This paper presents a theoretical framework for the design of deadlock-free fully adaptive routing algorithms for a general class of network topologies and switching techniques in a single, unified theory. A general theory is proposed that allows the design of deadlock avoidance-based as well as deadlock recovery-based wormhole and virtual cut-through adaptive routing algorithms that use a homogeneous or a heterogeneous (mixed) set of resources. The theory also allows channel queues to be allocated nonatomically, utilizing resources efficiently. A general methodology for the design of fully adaptive routing algorithms applicable to arbitrary network topologies is also proposed. The proposed theory and methodology allow the design of efficient network routers that require minimal resources for handling infrequent deadlocks.
Microsoft Publisher 98
Authors: Elizabeth Eisner Reding
Venue:  (1999)

:Part of the Illustrated Series, this text offers a quick, visual way to build Microsoft Publisher 98 skills. Covers beginning through intermediate skills.
A Discipline for Software Engineering, 1st edition
Authors: Watts S. Humphrey
Venue:  (1995)

:This new work from Watts Humphrey, author of the influential book, Managing the Software Process, broadens his orderly view of software process management, and lays the foundation for a disciplined approach to software engineering. In his earlier book, the author developed concrete methods for managing software development and maintenance. These methods, now commonly practiced in industry, provide programmers and managers with specific steps they can take to evaluate and improve their software capabilities. In this new book, Humphrey scales those methods down to a personal level, helping software engineers develop the skills and habits needed to plan, track, and analyze large, complex projects. Humphrey and others have used material from this book to train professionals and students around the world in a projects-oriented software engineering course. First establishing the need for discipline in software engineering, and the benefits to practitioners of learning how to manage their personal software process, Humphrey then develops a model that they can use to monitor, test, and improve their work. Examples drawn from industry enhance the practical focus of the book, while project exercises give readers the opportunity to practice software process management as they learn it. Features: presents concepts and methods for a disciplined software engineering process; scales down industrial practices for planning, tracking, analysis, and defect management to fit the needs of small-scale program development; and shows how small project disciplines provide a solid base for larger projects.
AltarNation: interface design for meditative communities
Authors: Michelle Hlubinka, Jennifer Beaudin, Emmanuel Munguia Tapia, John S. An
Venue: CHI '02 extended abstracts on Human factors in computing systems (2002)

AltarNation allows physically isolated individuals to participate in communities of meditation and tailor thier own meditative practices. By lighting candles, users enter a shared virtual community of users represented by a field of stars, each associated with a sound sample of a prayer, song, joy, or concern of another user. Existing practices of individual meditation and candlelight vigils inform this work. This paper describes implementation and design approaches of the AltarNation system.
Embedded systems verification with FGPA-enhanced in-circuit emulator
Authors: M. Meerwein, C. Baumgartner, T. Wieja, W. Glauert
Venue: Proceedings of the 13th international symposium on System synthesis (2000)

In this paper we present a novel coverification concept for embedded microcontrollers that satisfies industrial requirements. Based on a commercially available CPU in-circuit emulator coupled with FPGA boards, it verifies the correctness of an implementation in terms of function and timing within a real-world environment.Using our system, the software engineer can write, test and optimize programs for a chip that is not yet physically existent. In addition the system is used to obtain software module characterization data required for system partitioning. Its ability to integrate analog circuitry enables verification of the complete system-on-chip. Our methodology is fully integrated into the ASIC design flow providing ease of use and a high level of verification accuracy.
Management on the World Wide Web, 1st edition
Authors: Cynthia B. Leshin
Venue:  (1997)

:This guide teaches the management student about the Web, using two popular Internet browsers: Netscape Navigator and Microsoft Internet Explorer. The author covers communication through listserv mailing lists, Usenet newsgroups, Internet Relay Chat (IRC), Internet phones, and videoconferencing. Students will master business research using search engines, directories, and Internet collections. Chapter 7 covers search directories and search engines, including Yahoo, Alta Vista, Excite, Infoseak, Magellan, and Open Text.
The virtual mesh: a geometric abstraction for efficiently computing radiosity
Authors: L. Alonso, F. Cuny, S. Petit Jean, J.-C. Paul, S. Lazard, E. Wies
Venue: ACM Transactions on Graphics (TOG) (2001)

In this article, we introduce a general-purpose method for computing radiosity on scenes made of parametric surfaces with arbitrary trimming curves. In contrast with past approaches that require a tessellation of the input surfaces (be it made up of triangles or patches with simple trimming curves) or some form of geometric approximation, our method takes full advantage of the rich and compact mathematical representation of objects. At its core lies the virtual mesh, an abstraction of the input geometry that allows complex shapes to be illuminated as if they were simple primitives. The virtual mesh is a collection of normalized square domains to which the input surfaces are mapped while preserving their energy properties. Radiosity values are then computed on these supports before being lifted back to the original surfaces. To demonstrate the power of our method, we describe a high-order wavelet radiosity implementation that uses the virtual mesh. Examples of objects and environments, designed for interactive applications or virtual reality, are presented. They prove that, by exactly integrating curved surfaces in the resolution process, the virtual mesh allows complex scenes to be rendered more quickly, more accurately, and much more naturally than with previously known methods.
MCSE Internet Information Server 4 Exam Gear
Authors: New Riders
Venue:  (1999)

:ExamGear familiarizes certification candidates with the difficulty, style and mechanics of the actual exams. It refines and organizes their knowledge to increase their chances of passing the exam. Not just a testing engine,ExamGear is comprised of three key components: Exam Simulation,Exclusive DirectHelp Mentored Learning, and Study Tools. These features differentiate it from anything else on the market, including New Riders' own Complete. While Complete is an integrated training solution based on written content, ExamGear focuses on exam preparation with quality scenario-based questions and adaptive testing-just like the real exams.