ppxscal/embedding_network huggingface dataset:
Cross-Platform Performance Prediction of Parallel Applications Using Partial Execution
Authors: Leo T. Yang, Xiaosong Ma, Frank Mueller
Venue: Proceedings of the 2005 ACM/IEEE conference on Supercomputing (2005)

Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate predictions at a low-cost across different architectures. In this paper, we derive an affordable method approaching cross-platform performance translation based on relative performance between two platforms. We argue that relative performance can be observed without running a parallel application in full. We show that it suffices to observe very short partial executions of an application since most parallel codes are iterative and behave predictably manner after a minimal startup period. This novel prediction approach is observation-based. It does not require program modeling, code analysis, or architectural simulation. Our performance results using real platforms and production codes demonstrate that prediction derived from partial executions can yield high accuracy at a low cost. We also assess the limitations of our model and identify future research directions on observationbased performance prediction.
Design and implementation of parallel algorithms for matrix factorization
Authors: Gerard G. Meyer
Venue:  (2005)

This work presents a systematic approach to the design and implementation of parallel algorithms. The new approach uses existing solution methods to develop parallel algorithms that are faster than competing ones; it capitalizes on existing algorithms and code to reduce the time and effort required to implement the new algorithms; it enables the embedding of parameters to reduce execution time on different size problems and different systems without having to rewrite code; and it allows application to similar problems. Using a sample target environment to constrain the algorithm development, a new set of parallel LU factorization algorithms is developed and implemented on an HP SuperDome computer. When execution time is compared to a numerically equivalent subroutine tuned for the system, the new implementations demonstrate significant improvement. Expanding the factorizations to QR and Cholesky following the initial LU development proves to be straight-forward and effective, so that when the algorithms are implemented on the same HP SuperDome computer, performance is again superior. Armed with a new family of algorithms and code, the implementations are ported and tuned on an SGI Altix 3000 and IBM pSeries 690 SP4+, and achieve nearly equivalent and often superior performance against competing subroutines on these systems.
Properties and scopes in web model checking
Authors: May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari Sahraoui
Venue: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005)

We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while others - only a proper subset of them. To be able to discriminate states of interest in the state space, we solve the problem of property specification in LTL over a subset of states of a system under test while ignoring the valuation of the properties in the rest of them. We introduce specialized operators that facilitate specifying properties over propositional scopes, where each scope constitutes a subset of states that satisfy a propositional logic formula. Using the proposed operators, the user can specify web properties more concisely and intuitively. We illustrate the proposed solution in specifying properties of web applications and discuss other potential applications.
Validating a neural network-based online adaptive system
Authors: Yan Liu
Venue:  (2005)

Neural networks are popular models used for online adaptation to accommodate system faults and recuperate against environmental changes in real-time automation and control applications. However, the adaptivity limits the applicability of conventional verification and validation (V V) techniques to such systems. We investigated the V V of neural network-based online adaptive systems and developed a novel validation approach consisting of two important methods. (1) An independent novelty detector at the system input layer detects failure conditions and tracks abnormal events/data that may cause unstable learning behavior. (2) At the system output layer, we perform a validity check on the network predictions to validate its accommodation performance. Our research focuses on the Intelligent Flight Control System (IFCS) for NASA F-15 aircraft as an example of online adaptive control application. We utilized Support Vector Data Description (SVDD), a one-class classifier to examine the data entering the adaptive component and detect potential failures. We developed a &ldquo;decompose and combine&rdquo; strategy to drastically reduce its computational cost, from O(n 3) down to O( n32 log n) such that the novelty detector becomes feasible in real-time. We define a confidence measure, the validity index, to validate the predictions of the Dynamic Cell Structure (DCS) network in IFCS. The statistical information is collected during adaptation. The validity index is computed to reflect the trustworthiness associated with each neural network output. The computation of validity index in DCS is straightforward and efficient. Through experimentation with IFCS, we demonstrate that: (1) the SVDD tool detects system failures accurately and provides validation inferences in a real-time manner; (2) the validity index effectively indicates poor fitting within regions characterized by sparse data and/or inadequate learning. The developed methods can be integrated with available online monitoring tools and further generalized to complete a promising validation framework for neural network based online adaptive systems.
A Method of Traffic Shaping Using H^∞ Filtering
Authors: Hirotada Honda
Venue: Proceedings of the International Symposium on Applications on Internet (2006)

We propose a traffic shaping algorithm based on the estimates of input traffic and trend estimation using H^∞ filter. By this method, we can reduce packet loss rate in the traffic shaper machine itself. Using nemerical simulation case studies, we verify the effect of the proposed method compared to the leaky bucket algorithm.
On the Modeling and Analysis of Jitter in ATE Using Matlab
Authors: Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio Lombardi
Venue: Proceedings of the 20th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (2005)

This paper presents a new jitter component analysis method for mixed mode VLSI chip testing in Automatic Test Equipment (ATE). The separate components are analyzed individually and then combined using Matlab. The Matlab simulation shows how jitter components combine and how the total jitter depends on the jitter injection sequence. The relationship among jitter components is presented and the superposition of the jitter components is verified. This new technique gives test engineers an insight into how the jitter components interact.
Remote Path Delay Fault Simulation
Authors: Oystein Gjermundnes, Einar J. Aas
Venue: Proceedings of the 8th Euromicro Conference on Digital System Design (2005)

This paper describes the design of a remote fault simulator for delay faults that can be used by students to investigate the effect of different stimuli generators for different types of delay fault models.
Aliasing Analysis of Spectral Statistical Response Compaction Techniques
Authors: Omar I. Khan, Michael L. Bushnell
Venue: Proceedings of the 19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (2006)

We present aliasing models for statistical response compacters (SRCs) for built-in self-testing (BIST) [1]. The SRCs are drastically different from the conventional multiple-input signature register (MISR), and use the signal processing Hadamard transform to extract the digital spectral content in output bit streams of circuits and store it in counters. Any deviation of the spectral content from the good machine spectral content indicates a fault. We use the asymmetric error model (AEM) [2] to describe the behavior of a response compacter for a faulty circuit-under-test (CUT). We construct Markov processes for the aliasing models of the response compacters, which have never been studied. The Markov processes iteratively compute exact aliasing probabilities for any test session length and determine the asymptotic probability of aliasing for statistical response compactor 1 (SRC1). Other compacters (SRC2 and SRC5) have too many Markov process states and formulating exact aliasing probability equations is infeasible. So, we present only the asymptotic aliasing probability results, which converge to very low values rapidly. SRC1 does not alias at all on the ISCAS '89 benchmarks, but SRC2 and 5 alias occasionally. The model agrees with previously published simulations [1].
A Generic Method for Embedded Measurement and Compensation of Process and Temperature Variations in SoCs
Authors: Hung Tien Bui, Yvon Savaria
Venue: Proceedings of the Fifth International Workshop on System-on-Chip for Real-Time Applications (2005)

This paper proposes an embedded method of measuring process and temperature variations using the resulting change in transconductance of affected transistors. It also presents a compensation scheme for these variations using a generic and versatile method that can conveniently be used in system-on-chip applications. The measuring and compensating system has been applied on a 9-stage current-controlled oscillator. Differences in oscillating frequency between corner cases have been reduced from over 90 MHz to less than 10 MHz.
Modeling and Verification of IPSec and VPN Security Policies
Authors: Hazem Hamed, Ehab Al-Shaer, Will Marrero
Venue: Proceedings of the 13TH IEEE International Conference on Network Protocols (2005)

IPSec has become the defacto standard protocol for secure Internet communications, providing traffic integrity, confidentiality and authentication. Although IPSec supports a rich set of protection modes and operations, its policy configuration remains a complex and error-prone task. The complex semantics of IPSec policies that allow for triggering multiple rule actions with different security modes/operations coordinated between different IPSec gateways in the network increases significantly the potential of policy misconfiguration and thereby insecure transmission. Successful deployment of IPSec requires thorough and automated analysis of the policy configuration consistency for IPSec devices across the entire network.In this paper, we present a generic model that captures various filtering policy semantics using Boolean expressions. We use this model to derive a canonical representation for IPSec policies using Ordered Binary Decision Diagrams. Based on this representation, we develop a comprehensive framework to classify and identify conflicts that could exist in a single IPSec device (intra-policy conflicts) or between different IPSec devices (inter-policy conflicts) in enterprise networks. Our testing and evaluation study on different network environments demonstrates the effectiveness and efficiency of our approach.
Priority Control in Receiving E-mails by Giving a Separate Response to Each DNS Query
Authors: Shin Maruyama, Motonori Nakamura, Yasuo Okabe, Nariyoshi Yamai, Kiyohiko Okayama, Takuya Miyashita
Venue: Proceedings of the International Symposium on Applications on Internet (2006)

Delivering e-mails without unnecessary delay is one of the very important issues as the spread of e-mail service and its use become very common. But in case that a "Mail Transfer Agent (MTA)" is heavily loaded by huge amount of mails sent to the MTA, not only the delay on mail delivery is inevitable but also managing the MTA service becomes difficult.Thus, a delivery method that treats legitimate mails with priority is requested. In this paper, we focus on the query to the "Domain Name Service (DNS)" which is usually processed just before the mail transfer, and propose a new delivery method which separates legitimate mails from others according to the source IP address of the DNS query. That is, employing a crafted DNS server which responds to each DNS query with separate IP address, and wait for incoming mails at each address, we get a correspondence table between a DNS query and the incoming mail. And we also show that we can lead legitimate mails to the separated mail servers by dynamically changing the DNS response based on this table, and deliver them with short delay even in the case that others servers are loaded by many other mails.
Web services enterprise security architecture: a case study
Authors: Carlos Gutiérrez, Eduardo Fernández-Medina, Mario Piattini
Venue: Proceedings of the 2005 workshop on Secure web services (2005)

Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiativesof initiatives have arisen during the last years setting as their main purpose the standardization of the security factors related to this paradigm. In fact, over the past years, the most important consortiums ofof Internet Internet, like IETF, W3C or OASIS, are producing a huge number of WS-based security standards. Despite of this growing, there's not exist yet a process that guides developers in the critical task of integrating security within all the stages of the development's life cycle of WS-based software. Such a process should facilitate developers in the activities of web service-specific security requirents specification, web services-based security architecture design and web services security standards selection, integration and deployment. In this article we briefly present the PWSSec (Process for Web Services Security) process that is composed of three stages, WSSecReq (Web Services Security Requirents), WSSecArch (Web Services Security Architecture) and WSSecTech (Web Services Security Technologies) that accomplishes the mentioned activities, respectively. In this article wWe also provide an thorough explanation of the WSSecArch (Web Services Security Stage) stage intended to design the web services-based security architecture. In addition, a real case study where this stage in being applied is also included.
Proceedings of the 2005 international symposium on Wikis
Venue: International Symposium on Wikis (2005)

Welcome to the proceedings of the 2005 International Symposium on Wikis (WikiSym for short), the first international conference dedicated to wiki research and practice!Paper SelectionWe received 20 paper submissions, of which we selected ten to be presented at the symposium. Of these ten papers, eight are research papers, and two are practitioner reports. Despite the high acceptance rate of 50% we are very pleased with the quality of papers presented here; we attribute the high quality to the fact that before WikiSym 2005 there was no place for focused wiki research.For a research paper to be accepted, it had to meet strong academic standards of publication. Research papers advance the state of the art by describing substantiated new research or novel technical results or by reporting on significant experience or experimentation. Papers were reviewed both with respect to conceptual quality and clarity of presentation.Proceedings ReferenceResearch papers went through a rigorous review process; each paper received at least three reviews, many received more reviews. Both research papers and practitioner reports can be referenced as having being published in the "proceedings of the 2005 International Symposium on Wikis" (ISBN: 1-59593-111-2). This is the title under which the papers can be found in the ACM digital library, where they are archived.Wiki VocabularyYou are holding in your hands the first exemplar of scientific literature on wikis. To that end, we suggested to authors to use a common vocabulary. We believe that the word "wiki" is now a common word in the English (and other) languages and therefore should be spelled with lowercaps, unless it is part of a specific name, like Ward's Wiki, more formally known as the Portland Pattern Repository.Looking ForwardFrom the submissions we reviewed, it is clear that we are a diverse community. We received papers about wiki technology, like implementation, interoperability, and new forms of access; we received papers about the social processes around wikis; we received papers about novel and interesting uses of wikis in education. You will get an idea of this diversity when you read the papers presented in these proceedings.We also believe that this diversity represents a major challenge for the community in general and WikiSym in particular and encourage you to share your thoughts on this topic with us, either at the symposium or through email. We would like to hear your thoughts and encourage you to help build WikiSym into a flourishing community of wiki researchers and practitioners!
Immersing ME: the disappearing digitized presence
Authors: Yu-Chuan Tseng, Chia-Hsiang Lee
Venue: Proceedings of the 13th annual ACM international conference on Multimedia (2005)

Artists try to represent existence and indicate the meaning of presence by a variety of practices. However, when a figure is created by bits and composes hypereal information, the existence information has become fragments of fake existence. Presence has become a form of absence. Absence has become a form of presence. The work 'Immersing ME' is an interactive art work inviting participants to perceive the process of dissolving from presence to absence.
The Influence of Parameters in Evolutionary Based Rule Extraction Method from Neural Network
Authors: Urszula Markowska-Kaczmar
Venue: Proceedings of the 5th International Conference on Intelligent Systems Design and Applications (2005)

In the paper the experimental study of the influence of parameters on the final results of the rule extraction method from neural network for classification problem is described. The method is based on evolutionary approach, where for each class evolves separate population. The paper starts on the presentation of the basic concepts of the method. Next, the results of experiments are described. They examine the influence of genetic parameters. Then, the parameters that affect the rule extraction efficiency are tested. All experiments are made with using UCI data sets. At the end, some general conclusion concerning the role of the parameters and their influence on the final results are formulated.
A Genetic Algorithm for Finding Optimal Location Area Configurations for Mobility Management
Authors: Javid Taheri, Albert Y. Zomaya
Venue: Proceedings of the The IEEE Conference on Local Computer Networks 30th Anniversary (2005)

This work presents a new approach to solve the location management problem by using the location areas approach. A modified Genetic Algorithm is used to find the optimal configuration of location areas in a mobile network. The location areas configuration of the network is modeled so that the general condition of all the chromosomes of each population improves rapidly. Since a generic genetic algorithm will not be so efficient in solving this problem, several modifications have been made to the genetic optimizer to improve its performance. These modifications deal with the mutation operation where three types of mutation are considered after the crossover operation of the genetic algorithm. Simulation results are very promising and they lead to network configurations that are unanticipated.
Peer-to-Peer Direct Sales
Authors: Adam Wierzbicki, Krzysztof Goworek
Venue: Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing (2005)

The article describes and gives an economic analysis of a business model for commercial content delivery networks (CDN) based on the Peer-to-Peer model. The content is stored in the CDN on the hosts of the peers. An user pays for access to the content, and can sell the content to other users as in a direct sales network. The content trade is a free market. Transactions (including billing and accounting) are handled by superpeers, who receive a markup for their services and pay the content provider a gratification for every transaction. The system makes use of reputation mechanisms with a goal contrary to most P2P research: to promote content trading and discourage sharing for free. The article compares the profit obtained by the content provider in a client-server CDN and the P2P CDN, and analyzes the stable-state prices in a P2P CDN.
Nonlinear RF device modelling in the presence of low-frequency dispersive phenomena: Research Articles
Authors: F. Filicori, A. Santarelli, P. A. Traverso, A. Raffo, G. Vannini, M. Pagani
Venue: International Journal of RF and Microwave Computer-Aided Engineering (2006)

Theoretical and practical issues concerning the nonlinear dynamic modelling of electron devices are discussed in this article. All the different dynamic phenomena, which are important for the description of the device behaviour, are comprehensively dealt with by means of a unified mathematical derivation. In particular, both the &ldquo;fast&rdquo; dynamics associated with charge-storage phenomena at high operating frequencies and the &ldquo;slow&rdquo; dynamics of low-frequency dispersion, due to device self-heating and &ldquo;charge-trapping&rdquo; effects in deep-bulk and surface regions, are simultaneously taken into account. The result is an empirical, technology-independent and nonquasi-static model of electron devices, suitable for a simple and reliable identification procedure and based on conventional measurements of static characteristics and bias- and frequency- dependent small-signal parameters. The model implementation in the framework of commercially available CAD tools is also outlined in this article. Experimental validation, based on a GaAs p-HEMT, is also presented. &copy; 2005 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2006.
The effect of aikido training on computer-mediated communication between virtual teams
Authors: Michael Vandermark
Venue:  (2005)

Executives are confronted with the compelling need to become effective communicators in order to become effective leaders. The lack of paraverbal cues in online communication is a problem that causes miscommunication. The focus of this quantitative inferential study was to measure changes in interpersonal communication strengths as outcomes of awareness training through the art of Aikido, and how this training may or may not influence computer-mediated communication styles among regional virtual workgroups in a sales and services company in the United States. The specific areas of communication measured in this study included the communication style and strengths of dominance, extroversion, patience, and conformity contained in the Fort&eacute; &reg; Communication Style Survey&copy; (Morgan, 2005). In this study, the null hypothesis could not be rejected; there were no statistically significant relationships found in this study between Aikido/self-awareness training and online communication, given the study's design, sample population, and other variables. The researcher provides suggestions for future research and the implications of this study to leadership and the broader society.
How to think about security failures
Authors: Scott Campbell
Venue: Communications of the ACM (2006)

Understanding complexity and feedback in security models highlights the need for better failure modes in solutions.
HCI for people with cognitive disabilities
Authors: Clayton Lewis
Venue: Issue 83 (September 2005) (2005)

The self-advocacy movement (Dybwad & Bersani, 1996) grew out of resistance to oppressive practices of institutionalization (and worse) for people with cognitive disabilities. Moving beyond the worst abuses, people with cognitive disabilities seek as full participation in society as possible.