ppxscal/embedding_network huggingface dataset:
A Parallel Skeleton for the Strength Pareto Evolutionary Algorithm 2
Authors: Ofelia Gonzalez, Coromoto Leon, Gara Miranda, Casiano Rodriguez, Carlos Segura
Venue: Proceedings of the 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (2007)

This work presents a skeleton for the resolution of multi-objective optimization problems using the improved version of the Strength Pareto Evolutionary Algorithm (SPEA2). From the same problem specification, the skeleton derives sequential and distributed parallel solvers. The user interface for the problem definition consists of a set of classes and methods which are described in detail. The internal implementation of both solvers and their configuration parameters are explained. An application example to solve the optimization of a broadcasting strategy in metropolitan MANETs is given. The computational results obtained for this example in a homogeneous cluster of PCs give evidence of the quality of the approach.
The Xt intrinsics as a general purpose application development platform or a user interface toolkit with optional users
Authors: Jordan Hayes, Charles A. Ocheret
Venue: Proceedings of the USENIX Applications Development Symposium Proceedings on USENIX Applications Development Symposium Proceedings (1994)

Many graphical user interface (GUI) toolkits provide an event-driven framework which dispatches control to specific pieces of code based on an event stream, such as mouse clicks or keystrokes. These toolkits have incorporated utilities into their main loops for dealing with synthetic timers, I/O multiplexing, and idle procedures. Other real world problems fit this event-driven model quite well; database servers, communications line handlers, and interpreter front ends, to name a few. With only a few exceptions, we've found the Xt Intrinsics to be an ideal platform for building a distributed real-time[1] market data system, especially the non-GUI portions[2], despite the fact that this toolkit was principally designed to be used as a GUI toolkit. This paper describes our success with this approach and the limitations we encountered.
Beyond softnet
Authors: Jamal Hadi Salim, Robert Olsson, Alexey Kuznetsov
Venue: Proceedings of the 5th annual Linux Showcase & Conference - Volume 5 (2001)

The current 2.4 Linux network stack is based on a solid multi-processor-threaded implementation, known as softnet, which has been validated over the last 2 years. Linux is also used extensively in Internet packet forwarding services such as firewalls and routers etc. Linux has a very modular packet processing framework based on the (ingress and egress) Traffic Control Framework as well as the Netfilter IP firewalling architecture. While the Linux framework for "plugging in" packet services is very flexible, and very much proven in the real world, for Linux to be considered a strong Network Operating System, robustness under all conditions (including severe overload) is a key requirement that must be met. Our work is to further improve Linux to have the following attributes: • Robustness at any input rate and any number of input devices. • Controlled and low Latency. • cure packet reordering that is inherent with SMP support. • Provide fairness in greedy network when supporting many interfaces under overload. We discuss the problems, solutions and provide experimental results in our attempts to deal with these issues. While the focus is on using a PC as a router, the solutions provided are applicable to Linux in use in all aspects as a network device (such as a server).
Early Experiences in the Staining Pattern Classification of HEp-2 Slides
Authors: Paolo Soda
Venue: Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems (2007)

In autoimmune diseases, Indirect Immunofluorescence (IIF) represents the recommended method for detection of antinuclear autoantibodies (ANA). IIF diagnosis requires both the estimation of fluorescence intensity and the description of staining pattern, demanding for highly specialized personnel, who are not always available. In this respect, Computer-Aided Diagnosis (CAD) tools can support physicians' decision. In this paper we report experiences in the staining pattern recognition of IIF wells. Since several cells constitute each well, we have developed a Multiple Expert System (MES) devised to classify the pattern of individual cells. The whole well staining pattern is computed on the strength of the recognition of its cells, testing two aggregation rules. The experimental results shows the feasibility of a CAD dedicated to the classification of staining pattern in the IIF field.
Wireless Communications for Health Monitoring on Highways
Authors: Arjan Durresi, Mimoza Durresi, Leonard Barolli
Venue: Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (2007)

We propose to use Inter Vehicle Communications as part of a distributed system for ubiquitous health monitoring of patients. The biomedical data will be collected by wearable health diagnostic devices, which include various types of sensors. When patients are traveling on highways, we propose to transmit the measured biomedical data towards the corresponding Health Monitoring Centers via a Inter Vehicle Communication Network, which will guarantee the needed reliability, especially in areas where other wireless communications are not available. In particular, it is important that the Inter Vehicle Communication Network provides different priorities to various types of messages, depending on their urgency. We extend, a previously proposed inter vehicle hierarchical routing protocol, with priority scheduling to provide the needed priority services. We study various scheduling techniques and compare their effects on the service.
Integrating creative design experiences and ethics into materials science
Authors: K. L. Kitto
Venue: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01 (2001)

Western Washington University (USA) has integrated creative design experiences into the freshman and senior level experiences for three years. The next step in integrating design throughout the curriculum is focused at the sophomore and junior levels. This paper begins with an overview of the design integration process and then describes the specific new creative design projects in the sophomore level materials science course. Introductory materials science courses prove challenging for students because of the large variety of subjects that must be explored and because it is often the first course in which students synthesize knowledge gained in basic science courses to formulate solutions. Integrating creative design experiences into the laboratories help students connect these abstract concepts with the real world design choices engineers make when choosing materials for specific applications. The ethical considerations in making engineering design choices can be integrated into lectures and laboratories if both are taught from a design perspective. 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
Simulation of Labor Based on Virtual Reality
Authors: Zhaoyong Hu, Hanwu He, Yaoda Gu, Nanyue Yang
Venue: Proceedings of the 16th International Conference on Artificial Reality and Telexistence--Workshops (2006)

Childbirth education is beneficial to pregnant woman and her family members. It's also important for doctors and nurses who will be engaged in labor. For childbirth education, the most significant task is to show mechanism of labor. Because it is associated with the fetus within the uterus of pregnant woman, overall representation of mechanism of labor is difficult. Traditional methods, such as pictures, models, etc, limited. As a popular tool for simulation, virtual reality is introduced to solve the puzzle. Simulation of labor using virtual reality can represent the mechanism of labor with levels of interactivity and dynamics clearly. As two critical points of labor simulation, model construction and movement simulation, are expatiated in detail.
Transactions in Content-Based Publish/Subscribe Middleware
Authors: Luis Vargas, Lauri I. W. Pesonen, Ehud Gudes, Jean Bacon
Venue: Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (2007)

Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other applications that follow an event-based architectural style, the definition of dependencies between interacting components and the notion of all-or-nothing semantics are often needed to ensure reliable inter-component task execution. In this paper we introduce publish/ subscribe (P/S) transactions as an abstraction to support these needs in content-based publish/subscribe middleware. A P/S transaction demarcates within an atomic unit-of-work, the production, delivery, and processing of a number of related asynchronous event notifications. A transaction service, provided by the middleware, realises P/S transactions to support the transactional execution of processes on behalf of applications.
Automated Storage Reclamation Using Temporal Importance Annotations
Authors: Surendar Chandra, Ashish Gehani, Xuwen Yu
Venue: Proceedings of the 27th International Conference on Distributed Computing Systems (2007)

This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim space by deleting contents. Traditionally, storage systems relegated object reclamation to applications. In this work, content creators explicitly annotate the object using a temporal importance function. The storage system uses this information to evict less important objects. The challenge is to design importance functions that are simple and expressive. We describe a two step temporal importance function. We introduce the notion of storage importance density to quantify the importance levels for which the storage is full. Using extensive simulations and observations of a university wide lecture video capture and storage application, we show that our abstraction allows the users to express the amount of persistence for each individual object.
The Internet knowledge (iKnow) measure
Authors: Denise Potosky
Venue: Computers in Human Behavior (2007)

Despite increasing development and administration of Internet surveys, tests, and many other applications to be used by employees and the general public, little is known about the knowledge individuals bring to Internet tasks. This research improves our understanding of the concept of Internet knowledge, and provides initial support for the construct validity of a new measure of Internet knowledge with respect to its factor structure, internal consistency reliability, and concurrent validity. From a practical perspective, clearer definition of Internet knowledge and the availability of a reliable measure of such knowledge can advance our understanding of how individuals develop Internet experience through its use and may also inform the process by which web sites and Internet applications are designed.
802.11 denial-of-service attacks: real vulnerabilities and practical solutions
Authors: John Bellardo, Stefan Savage
Venue: Proceedings of the 12th conference on USENIX Security Symposium - Volume 12 (2003)

The convenience of 802.11-based wireless access networks has led to widespread deployment in the consumer, industrial and military sectors. However, this use is predicated on an implicit assumption of confidentiality and availability. While the security flaws in 802.11's basic confidentially mechanisms have been widely publicized, the threats to network availability are far less widely appreciated. In fact, it has been suggested that 802.11 is highly susceptible to malicious denial-of-service (DoS) attacks targeting its management and media access protocols. This paper provides an experimental analysis of such 802.11-specific attacks - their practicality, their efficacy and potential low-overhead implementation changes to mitigate the underlying vulnerabilities.
Enforcing Fine-Grained Authorization Policies for Java Mobile Agents
Authors: Giovanni Russello, Changyu Dong, Naranker Dulay
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01 (2007)

The Mobile Agent (MA) paradigm advocates the migration of agent code to achieve computational goals. MAs require an executable environment on hosts where mobile code can be executed. The execution of foreign code on a host raises security concerns for both the agent and the host. In [1] it has been recognized that most of the approaches for providing security in MA suffer from a limitation of expressing complex security requirements. Thus, approaches have been proposed that introduce the use of a policy language for specifying security policies to control MA's access to host resources. With this paper, we outline a framework where security policies can be uniformly specified for protecting both MAs and host resources.
Joint angle and delay estimation for DS-CDMA with application to reduced dimension space-time RAKE receivers
Authors: Yung-Fang Chen
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 05 (1999)

In this paper, we propose an algorithm for joint estimation of the angle of arrival (AOA) and delay of each dominant multipath for the desired user for use in a reduced dimension space-time RAKE receiver for DS-CDMA communications that is "near-far" resistant. After we estimate the desired spatio-frequency signal vector, we propose the 2D unitary ESPRIT algorithm as our estimator which provides closed-form as well as automatically paired AOA-delay estimates. We effectively have a single snapshot of 2D data and thus require 2D smoothing for extracting multiple snapshots. The comparative performance of two 2D smoothing schemes, pre-eigenanalysis and post-eigenanalysis 2D smoothing, is discussed. The space-time data model for the IS-95 uplink is presented. The performance of a reduced dimension space-time RAKE receiver for the IS-95 uplink using the AOA-delay estimates is assessed through Monte-Carlo simulations.
Dynamic Condor-based Services for Distributed Image Analysis
Authors: Simon Caton, Omer Rana, Bruce Batchelor
Venue: Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (2007)

Interactive image processing is an important requirement in many industrial applications, such as the inspection of industrial parts within a manufacturing environment, or the processing of images from surveillance cameras. Being able to achieve this quickly and accurately is often essential for the success of such industrial applications. A service-based approach that autonomously launches Image Analysis Services (accessible through a Central Service Manager) onto spare network resources through a Condor system is presented. This allows high throughput analysis of these images in a dynamic resource pool. The Central Service Manager reacts to new tasks submitted to the Image Analysis Services and is able to add new service instances to manage these tasks dynamically. Each service instance here corresponds to a computational resource that is able to execute image processing algorithms. New service instances may be requested by the Central Service Manager from the Condor system, based on the number of tasks that need to be processed. This enables entire image repositories to be acted upon interactively and in parallel, as opposed to the analysis of single images individually. The approach is demonstrated through a campus-wide test bed utilising a Condor system with 90 machines.
Simple verifiable elections
Authors: Josh Benaloh
Venue: Proceedings of the USENIX/Accurate Electronic Voting Technology Workshop 2006 on Electronic Voting Technology Workshop (2006)

Much work has been done in recent decades to apply sophisticated cryptographic techniques to achieve strong end-to-end verifiability in election protocols. The properties of these protocols are much stronger than in any system in general use; however, the complexity of these systems has retarded their adoption. This paper describes a relatively simple but still effective approach to cryptographic elections. Although not as computationally efficient as previously proposed cryptographic approaches, the work presented herein is intended to be more accessible and therefore more suitable for comparison with other voting systems.
Stochastic Computational Fluid Mechanics
Authors: Guang Lin, Xiaoliang Wan, Chau-Hsing Su, George Em Karniadakis
Venue: Computing in Science and Engineering (2007)

Stochastic simulations in computational fluid dynamics let researchers model uncertainties beyond numerical discretization errors. The authors present examples of stochastic simulations of compressible and incompressible flows and provide analytical solutions for verifying these newly emerging methods for stochastic modeling.
The Role of Empirical Study in Software Engineering
Authors: Victor R. Basili
Venue: Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop (2006)

Although most scientific and engineering disciplines view empiricism as a basic aspect of their discipline, that view has not been the tradition in software engineering. There should be a symbiotic relationship between the development of theories and empirical studies that test and evolve that theory. This talk discusses of the role of empirical study in the understanding and improvement of the software product and process. It offers a personal, historical perspective of the use of empiricism through a series of example applications that demonstrate the various roles that empiricism can play. The examples are taken from the author's own experience and include the use of empirical study to improve an organization's product quality and productivity in the Software Engineering Laboratory at NASA/Goddard and to evaluate and evolve the effectiveness of various software technologies for use in improving the dependability of software. It also suggests research directions for empirical study in software engineering.
Evolution of market mechanism through a continuous space of auction-types
Authors: D. Cliff
Venue: Proceedings of the Evolutionary Computation on 2002. CEC '02. Proceedings of the 2002 Congress - Volume 02 (2002)

A continuous space of auction mechanisms is explored via a genetic algorithm, with ZIP artificial trading agents ope rating in the evolved markets. The space of possible auction-types includes the Continuous Double Auction and also two purely one-sided mechanisms, yet hybrids of these auction types are regularly found to give the most desirable market dynamics.
Geometric linear discriminant analysis
Authors: M. Ordowski
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

When it becomes necessary to reduce the complexity of a classifier, dimensionality reduction can be an effective way to address classifier complexity. Linear discriminant analysis (LDA) is one approach to dimensionality reduction that makes use of a linear transformation matrix. The widely used Fisher's LDA is "sub-optimal" when the sample class covariance matrices are unequal, meaning that another linear transformation exists that produces lower loss in discrimination power. We introduce a geometric approach to linear discriminant analysis (GLDA) that can reduce the number of dimensions from n to m for any number of classes. GLDA is able to compute a better linear transformation matrix than Fisher's LDA for unequal sample class covariance matrices and is equivalent to Fisher's LDA when those matrices are equal or proportional. The classification problems we present demonstrate and strongly suggest that geometric LDA can generate the, "optimal" classifier in a lower dimension.
Implementing multiple protection domains in java
Authors: Chris Hawblitzel, Chi-Chao Chang, Grzegorz Czajkowski, Deyu Hu, Thorsten von Eicken
Venue: Proceedings of the annual conference on USENIX Annual Technical Conference (1998)

Safe language technology can be used for protection within a single address space. This protection is enforced by the language's type system, which ensures that references to objects cannot be forged. A safe language alone, however, lacks many features taken for granted in more traditional operating systems, such as rights revocation, thread protection, resource management, and support for domain termination. This paper describes the J-Kernel, a portable Java-based protection system that addresses these issues. J-Kernel protection domains can communicate through revocable capabilities, but are prevented from directly sharing unrevocable objects references. A number of micro-benchmarks are presented to characterize the costs of language-based protection, and an extensible web server based on the J-Kernel demonstrates the use of safe language techniques in a large application.
Conversations On Creating A Different Classroom Climate
Authors: K. Smith
Venue: Proceedings of the Frontiers in Education Conference,1997. on 27th Annual Conference. Teaching and Learning in an Era of Change. - Volume 01 (1997)

In teaching an undergraduate controls course, several concepts are introduced. Students often perceive these materials as unrelated, thus of little application. There is a need to unify these concepts into larger problems. Examples could be presented in class, however, this would create a passive roll for the student. To encompass a larger number of concepts and involve the students, the capstone term project was incorporated into the course. It requires a large amount of design effort, appropriate use of class concepts and the use of a simulation language. This satisfies ABET design requirements and adds to students credentials by requiring a simulator such as MATLAB to successfully complete the project. Sophistication of the project encourages collaboration and team effort among the students, serious design consultation with the instructor, and other elements of a working engineering environment. Project reports for credit are individual submissions.
Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking
Authors: Zonghua Gu, Mingxuan Yuan, Xiuqiang He
Venue: Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium (2007)

Real-time scheduling for FPGAs presents unique challenges to traditional real-time scheduling theory, since it is similar to, but more general than multi-processor scheduling. In his paper, we address two problems of static task scheduling on a partially runtime reconfigurable FPGA: finding an optimal static schedule for a task graph with the optimization objective of minimizing the total schedule length, and finding a feasible static schedule for a set of periodic tasks within a hyper-period with the objective of meeting all deadlines. We model the multi-tasking system with Timed Automata and use reachability analysis of the UPPAAL model-checker to explore the design space and find an optimal or feasible schedule.