ppxscal/embedding_network huggingface dataset:
Considerations in the design of a compiler for APL
Authors: Harry J. Saal
Venue: ACM SIGAPL APL Quote Quad (1978)

Existing implementations of the APL language are generally referred to as "interpretive". APL users rely on system behavior of an interpretive nature, such as "desk calculator mode" debugging, and modern interpreters retain that external view even though internal interpreter organization is highly optimized. Increased use of APL has led to many requests for an APL compiler.This paper first presents a selected annotated bibliography of eight papers which address the question of efficient execution of APL programs. Based on the results of these studies, the problem of efficiently executing APL expressions seems to be well understood.The second half of the paper presents a number of environment related questions which must be resolved before designing a compiler for APL. Almost all of these issues involve potential tradeoffs of performance for other desirable attributes of an APL system.
Specification, implementation, and deployment of components
Authors: Ivica Crnkovic, Brahim Hnich, Torsten Jonsson, Zeynep Kiziltan
Venue: Communications of the ACM (2002)

Clarifying common terminology and exploring component-based relationships.
The Illustrator 8 Wow! Book, 1st edition
Authors: Sharon Steuer
Venue:  (1998)

:This step-by-step book showcases the work of more than 100 top Illustrator artists. It gives you creative new techniques, helpful sidebars, and savvy tips for your own projects. It includes a CD-ROM with custom Wow! brushes and Actions, tutorials, samples of Gradient Mesh art, and more.
Getting Started with Windows 3.1, 1st edition
Authors: Sylvia Russakoff
Venue:  (1993)

:Features carefully tested, practically oriented tutorials; numerous screen dumps and practice exercises in a trouble-free and interesting learning environment for students. Also includes coverage of Microsoft's hugely successful Windows program.
On the Duality between Filtering and Nevanlinna--Pick Interpolation
Authors: Christopher I. Byrnes, Anders Lindquist
Venue: SIAM Journal on Control and Optimization (2000)

Positive real rational functions play a central role in both deterministic and stochastic linear systems theory, as well as in circuit synthesis, spectral analysis, and speech processing. For this reason, results about positive real transfer functions and their realizations typically have many applications and manifestations.In this paper, we study certain manifolds and submanifolds of positive real transfer functions, describing a fundamental geometric duality between filtering and Nevanlinna--Pick interpolation. Not surprisingly, then, this duality, while interesting in its own right, has several corollaries which provide solutions and insight into some very interesting and intensely researched problems. One of these is the problem of parameterizing all rational solutions of bounded degree of the Nevanlinna--Pick interpolation problem, which plays a central role in robust control, and for which the duality theorem yields a complete solution. In this paper, we shall describe the duality theorem, which we motivate in terms of both the interpolation problem and a fast algorithm for Kalman filtering, viewed as a nonlinear dynamical system on the space of positive real transfer functions.We also outline a new proof of the recent solution to the rational Nevanlinna--Pick interpolation problem, using an algebraic topological generalization of Hadamard's global inverse function theorem.
Hardware-software codesign of embedded systems
Authors: Massimiliano Chiodo, Paolo Guisto, Attila Jurecska, Harry C. Hsieh, Alberto Sangiovanni-Vincentelli, Luciano Lavagno
Venue: Readings in hardware/software co-design (2001)

Designers generally implement embedded controllers for reactive real-time applications as mixed software-hardware systems. In our formal methodology for specifying, modeling, automatically synthesizing and verifying such systems, design takes place within a unified framework that prejudices neither hardware nor software implementation. After interactive partitioning, this approach automatically synthesizes the entire design, including hardware-software interfaces. Maintaining a finite-state machine model throughout, it preserves the formal properties of the design. It also allows verification of both specification and implementation, as well as the use of specification refinement through formal verification.
Sams Teach Yourself Database Programming with Visual Interdev 6 in 21 Days with Cdrom, 1st edition
Authors: Michael Amundsen, Robert L. Crouch
Venue:  (1999)

:Sams Teach Yourself Database Programming with Visual InterDev in 21Days, is a tutorial that allows you to learn about working with databases in a set amount of time. The book presents you with a step-by-step approach to learning what can be a critical topic for developing applications. Each week focuses on a different aspect of database programming with Visual InterDev.
CADCAM: From Principles to Practice, 1st edition
Authors: Chris McMahon, James J. Browne
Venue:  (1993)

:The application of computers to the product design and manufacturing process (known as CADCAM) has had spectacular success in engineering. This book gives an in depth presentation of the central techniques of CADCAM, concentrating on both principles and applications The book carefully guides the reader through the processes of defining a product design with the aid of computers, of developing manufacturing plans and instructions for the product, and of managing the manufacturing system itself.
Commons: resource sharing and protection in mobile appliance OS
Authors: Tetsuya Saito, Tatsuya Hagino
Venue: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system (2000)

In this paper, we propose a new operating system abstraction, called a common, for mobile appliances. We can use a common to prevent the excessive use of computational resources on appliances.Mobile appliances will have networked servers such as a http server. We need a new resource abstraction for mobile appliance OS to protect relatively precious and limited resources against service requests from the Internet.The common abstraction can restrict accesses of machine resources and maintain stability on appliances against unknown users on the Internet. We describe two applications of the common: resource allocation for a WWW server and restriction on a bad influence of DoS attacks.In the next section, we describe system requirements for mobile appliance OS and point out its needs. In Section 3, we describe the abstraction of a common. Section 4 describe the applications of commons. In Section 5 we describe current status of our project. Section 6 discusses related work and Section 7. concludes.
Digital Effects Animation Using Maya
Authors: Kian B. Ng, Bee Ng Kian
Venue:  (1999)

:Creating realistic digital effects is a difficult task even for the pros. But with the innovative featurs and accessibility of powerful graphics software like MAYA, creating fascination, commercial-quality, effects is now within the reach of many artists and animators. With the theory, hands-on examples, and animations included in these pages, you will see the power of MAYA in action and learn how to master it for your own animation productions. Through the detailed instructions and production-based animations, you will learn the problem solving skills and techniques needed to create stunning effects. MAYA is one of the most complete, production-ready programs available, and its open architecture allows you to add functions easily. MAYA is the main program used throughout the book, however, the theory and techniques are applicable to many other commercial 3D software programs. Covers both the technical and aesthetic issues from problem solving to generating believable animations Uses example animations to investigate the various techniques Techniques and theories are demonstrated with MAYA, the primary application, however all skills are applicable to a variety of programs CD includes 3D Café Models, movies, sketches, and plug-ins About the Author: Kian Bee Ng works as a technical director for a production company in Japan. He was certified as an Alias Wavefront instructor in 1996, and certified as a Principal Instructor in 1997. His portfolio includes feature films, console game animation, video animation, and real-time visualization.
A Dynamic Adaptive Relaxation Scheme Applied to the Euclidean Steiner Minimal Tree Problem
Authors: François Chapeau-Blondeau, Fabrice Janez, Jean-Louis Ferrier
Venue: SIAM Journal on Optimization (1997)

The Steiner problem is an NP-hard optimization problem which consists of finding the minimal-length tree connecting a set of N points in the Euclidean plane. Exact methods of resolution currently available are exponential in N, making exact minimal trees accessible for only small size problems (up to N \approx 100). An acceptable suboptimal solution is provided by the minimum spanning tree (MST) which has been shown computable in an O(N log N) step. We propose here an O(N) process that is able to relax a given initial Steiner tree into a local minimum of its length. This process, based on a physical analogy, simulates the dynamics of a fluid film which relaxes under surface tension forces and stabilizes in an equilibrium configuration minimizing its total length, through purely local interactions. To improve the solution to the Steiner problem, this O(N) relaxation scheme is applied to reduce the length of the MST. This results in a heuristic of a very low O(N log N) complexity for the Steiner problem, whose performance is shown to compare quite favorably with that of the best available heuristics. Large problem sizes up to N=10000 were successfully tackled. A characterization of the asymptotic behavior of the solution of the Steiner problem shows a stabilization to a nonvanishing positive value of the average length reduction achieved over the MST and predicts an average length for the minimal Steiner tree of about 3% below 0.65 N1/2 for large N.
ACM SIGACT news distributed computing column 7
Authors: Sergio Rajsbaum
Venue: ACM SIGACT News (2002)

The Distributed Computing Column covers the theory of systems that are composed of a number of interacting computing elements. These include problems of communication and networking, databases, distributed shared memory, multiprocessor architectures, operating systems, verification, internet, and the web.This issue consists of some PODC announcements followed by two papers:&bull; Announcements about PODC 2002, 2003, 2004 and 2005 by Gil Neiger&bull; "Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services" by Seth Gilbert and Nancy Lynch&bull; "Topology Control and Routing in Ad hoc Networks: a Survey" by Rajmohan RajaramanMany thanks to Gil, Rajmohan, Seth and Nancy for contributing to this issue.
DVR-Pompei: a 3D information system for the house of the Vettii in openGL environment
Authors: Maurizio Forte, Eva Pietroni, Claudio Rufa, Angela Bizzarro, Alessandro Tilia, Stefano Tilia
Venue: Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage (2001)

DVR (Desktop Virtual Reality) Pompei project is aimed to the creation of a virtual reality desktop system able to connect and to visualize data and spatial models in the same environment, interface and three-dimensional context of interaction. The archaeological case study of the House of Vettii has been chosen because of the features of the monument, of the related data, of the urgent needs of restoration, preservation and documentation and of the activity "in situ" of the Istituto Centrale del Restauro (maps, texts,, images, digital archives, archaeometric analyses). The activity of the ICR is fundamental for the knowledge and the history of the monument because it keeps the documentation of all the processes of survey, analysis and restoration; all these information are totally unaccessible without a digital connection of the spatial data. We can define this structural knowledge an augmented reality system of information.The system involves the creation of original software (written in C++), specifically addressed towards the OpenGl environment, in order to use the high performances of the last graphic cards for giving the users a real time interaction with the three-dimensional models. The acquisition of data in the fieldwork and the following 3D processing is involving the most advanced technologies of survey: EDM total laser stations, 3D laser scanners for the architectonic survey in micro scale, (i.e. walls; using Vivid 900 Minolta) and in macro scale (i.e. rooms; Cyrax) and photogrammetric techniques. The final goal of this project in progress is to create a pilot study for the scientific community for exporting then the system to the general public though digital stations positioned "on site".
Dependable Computing for Critical Applications, 1st edition
Authors: Ravishankar K. Iyer, Virgil Gligor, Michele Morganti
Venue:  (1998)

:Can we rely on computers? The individual aspects of system dependability, reliability, availability, safety, and security are the factors that determine application success. To answer this question, the text explores the integration of these dependability attributes within practical, working systems. The papers in the book address the growing international concern for system dependability and reflect the important advances in understanding how dependability manifests in practice.
An epidemic model for information diffusion in MANETs
Authors: Abdelmajid Khelil, Christian Becker, Jing Tian, Kurt Rothermel
Venue: Proceedings of the 5th ACM international workshop on Modeling analysis and simulation of wireless and mobile systems (2002)

Choosing appropriate information dissemination strategies is crucial in mobile ad hoc networks (MANET) due to the frequent topology changes. Flooding-based approaches like diffusion have a strong similarity with epidemic spreading of diseases. Applying epidemiological models to information diffusion allows the evaluation of such strategies depending on the MANET characteristics, e.g. the node density. In order to choose appropriate strategies at run time, the model should be easily evaluated.In this paper, an epidemic model is developed for a simple information diffusion algorithm based on simulation results. We analytically investigate the impact of node density on information diffusion. The analytical model allows the evaluation at runtime, even on devices with restricted resources, and thus enables mobile nodes to dynamically adapt their diffusion strategies depending on the local node density.
Web-Based Instructional Learning
Authors: Mehdi Khosrowpour
Venue:  (2002)

:Web-based education (WBE) is crossing all boundaries of time, space, and language, but there are still many questions that need to be answered. Can traditional universities do a good job of WBE? What are the roles of instructors, administrators, and students? How should students be evaluated in WBE? These questions and more are addressed in this important book. Other issues addressed are test delivery evaluation, student perceptions of virtual education, comparisons between live lectures and Web-based lectures, online quizzes, the effectiveness of course Web sites, online test management tools, and Internet-based advising. This book looks forward to the future of Internet-based education while also recounting successful implementations and utilizations of this form of education in the recent past. This brings to the forefront multiple issues that face both educators and students as the concept grows and expands.Mehdi Khosrow-Pour is the Executive Director of the Information Resources Management Association. He is the editor of the Information Resources Management Journal and Information Management, and the author of Managing Web-Enabled Technologies in Organizations and Pitfalls and Triumphs of Information Technology Management. He lives in Hershey, Pennsylvania.
Efficient and secure keys management for wireless mobile communications
Authors: Roberto Di Pietro, Luigi V. Mancini, Sushil Jajodia
Venue: Proceedings of the second ACM international workshop on Principles of mobile computing (2002)

This paper presents an efficient algorithm for the secure group key management of mobile users. The most promising protocols to deal with group key management are those based on logical key hierarchy (LKH). The LKH model reduces to logarithmic size the resources needed: computation time, message exchanged, and memory space. In the framework of the LKH model, we present a new protocol LKH++ that outperforms the other proposed solutions in the literature. Such performance improvements are obtained exploiting both the properties of one-way hash functions and the information that the users already share in the LKH model. In particular, when a user eviction occurs in LKH++, each remaining user autonomously constructs a new key along the path from the evicted user to the root as a function of a specific logical child key. Therefore, the center can carry on the re-keying phase by distributing only a subset of the new keys and by reducing the number of communications to the users. When a join occurs, a minimal information is broadcast, while most of the communications are unicast toward just the joining user. The proposed LKH++ protocol establishes a group communication of n users requiring to unicast ((n-1)logn)/2 keys, while standard algorithms require to deliver nlogn keys. Such a solution allows the users to form promptly a new group if the wireless ad hoc network should be reconfigured. Moreover, the proposed extension to deal with mass leave and mass join allows a considerable savings in the messages sent by the center, as well as in the computations required by both the center and the users. Finally, the LKH++ protocol enhances the reliability of the key management due to the reduced number of communications needed in the re-keying phase.
Java Developer's Guide to E-Commerce with Xml and JSP (Developer's Handbook Series)
Authors: William B. Brogden, Chris Minnick
Venue:  (2001)

:XML: the perfect complement to Java in a total e-commerce solution. Your Java programming knowledge will go a long way toward building an effective e-commerce site. XML is the missing piece, and Java Developer's Guide to E-Commerce With XML and JSP gives you expert instruction in the techniques that unite these closely aligned technologies. Covering the latest Servlet and JSP APIs and the current XML standard, this book guides you through all the steps required to build and implement a cohesive, dynamic, and profitable site. The enclosed CD contains a complete sample catalog in XML, along with the code you need to accomplish a wide variety of critical e-commerce tasksediting the catalog, searching and presenting data, presenting and analyzing customer surveys, editing and presenting company news, and equipping the site with a full-featured shopping cart application. The CD also contains the Tomcat Java server, version 3.1.
Windows for Mac Users
Authors: Cynthia L. Baron
Venue:  (1999)

:More and more diehard Macintosh lovers are finding themselves in a position to work with the Windows platform. Although the two are similar, they're just different enough to frustrate a Mac user looking for a recognizable interface. Reading any of the numerous instruction books aimed at beginning PC users may well leave them wishing for a way to translate their Mac experience into Windows proficiency. Windows for Mac Users explains Windows features in a way that Mac users can relate to. The authors explain the unfamiliar details of PC hardware, keyboards, and the two-button mouse, and point out what's missing from the picture as well as what's new for Mac users. Readers will get Mac-to-Windows keyboard shortcuts and directions on how to rename and transfer their Mac files to a PC. Written in a clear, sympathetic, and humorous style, Windows for Mac Users may not take the place of a dear departed Mac, but it will make the transition to Windows much less painful. Robin Williams (author of the award-winning Little Mac Book with over 500,000 copies in print) brings to Windows her trademark brand of fun, concise, easy-to-understand explanations her large and loyal Mac audience has come to rely on when they need to learn something new. Only book available that specifically targets this growing audience. Takes a Mac-sympathetic approach to explaining Windows features.
The influence of environmental uncertainty on the strategic use of information systems
Authors: Grover S. Kearns, Albert L. Lederer
Venue: ACM SIGCPR Computer Personnel (1999)

How market hostility affects managerial competencies is an important human resources issue. The role of the CEO in strategic information systems planning and the CIO business planning may become more important under environmental uncertainty, especially for firms highly dependent upon information technology. In this study, CIOs were surveyed determine how environmental uncertainty information intensity impacted the role strategic IS planning practices. Both environmental uncertainty and information intensity were more strongly related to SISP practices in the electric utility industry when compared to other industries surveyed. Undergoing deregulation, electric utility companies are now being exposed to a level of environmental hostility not experienced in the past. Results indicate that a sudden change in environmental uncertainty may be a more important motivation to the use of SISP practices than the level of uncertainty itself. Data also suggest that information intensity may moderate the relationship between environmental uncertainty and SISP practices.
What Will Be: How the New World of Information Will Change Our Lives, 1st edition
Authors: Michael L. Dertouzos, Michael L. Dertrouzos
Venue:  (1998)

:Michael Dertouzos has been an insightful commentator and an active participant in the creation of the Information Age. Now, in What Will Be, he offers a thought-provoking and entertaining vision of the world of the next decade  and of the next century. Dertouzos examines the impact that the following new technologies and challenges will have on our lives as the Information Revolution progresses:all the music, film and text ever produced will be available on-demand in our own homesyour "bodynet" will let you make phone calls, check email and pay bills as you walk down the streetadvances in telecommunication will radically alter the role of face-to-face contact in our livesglobal disparities in infrastructure will widen the gap between rich and poorsurgical mini-robots and online care will change the practice of medicine as we know it. Detailed, accessible and visionary, What Will Be&nbsp is essential for Information Age revolutionaries and technological neophytes alike.Author Biography: Tech oracle Michael Dertouzos, head of the MIT Laboratory for Computer Science and author of the bestselling Made in America, offers a learned, accessible, and fascinatingly detailed preview of new information technology and the ways it will remake our society, culture, economy, and private lives in the next century. Speaking to every reader affected by technological change and written by a key architect of the very revolution it describes, What Will Be is the first thorough roadmap to the world of the technological future.