ppxscal/embedding_network huggingface dataset:
Software Testing Research: Achievements, Challenges, Dreams
Authors: Antonia Bertolino
Venue: 2007 Future of Software Engineering (2007)

Software engineering comprehends several disciplines devoted to prevent and remedy malfunctions and to warrant adequate behaviour. Testing, the subject of this paper, is a widespread validation approach in industry, but it is still largely ad hoc, expensive, and unpredictably effective. Indeed, software testing is a broad term encompassing a variety of activities along the development cycle and beyond, aimed at different goals. Hence, software testing research faces a collection of challenges. A consistent roadmap of the most relevant challenges to be addressed is here proposed. In it, the starting point is constituted by some important past achievements, while the destination consists of four identified goals to which research ultimately tends, but which remain as unreachable as dreams. The routes from the achievements to the dreams are paved by the outstanding research challenges, which are discussed in the paper along with interesting ongoing work.
Some Problems in Sanitizing Network Data
Authors: Matt Bishop, Rick Crawford, Bhume Bhumiratana, Lisa Clark, Karl Levitt
Venue: Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2006)

The problem of removing sensitive information from data before it is released publicly, or turned over to less trusted analysts, underlies much of the unwillingness to share data. The solution is to sanitize, or deidentify, parts of the data. When dealing with network addresses, the set of available addresses is finite. This limits some aspects of the sanitization. We analyze this problem in detail, and suggest approaches to ameliorate it.
Reduction of musical residual noise for speech enhancement using masking properties and optimal smoothing
Authors: Ching-Ta Lu
Venue: Pattern Recognition Letters (2007)

Speech noise reduction is a very important research field with applications in many areas, such as voice communication and automatic speech recognition. Most speech enhancement systems produce annoying musical residual noise. This study aims to reduce the effect of musical residual noise. A perceptual-based speech enhancement algorithm that considers masking properties is first employed to enhance a speech signal corrupted by colored noise. Hence, an optimal smoothing factor, adapted by the variation of signal to spectral deviation ratio (SSDR) in successive frames, is used to reduce the effect of musical residual noise. Improved results are obtained by considering both the intra-frame masking properties and inter-frame spectrum smoothing in order to enhance a speech signal corrupted by colored noise.
An Implementation of Understanding Information Management System for Real-Time Interactive Distance Education Environment
Authors: Aiguo He
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02 (2007)

RIDEE-UIM(Understanding Information Management system for Real-time Interactive Distance Education Environment) has been proposed for giving understanding information of each participant to the lecturer during real time distance education activities. For each participant, RIDEE-UIMkeeps his understanding values about each minimum unit of the materials offerd by the lecturer. The usefulness of RIDEE-UIM has been confirmed by experiments. This paper reports the implementation and the experiments of RIDEE-UIM.
Improvement of fault injection techniques based on VHDL code modification
Authors: J. C. Baraza, J. Gracia, D. Gil, P. J. Gil
Venue: Proceedings of the High-Level Design Validation and Test Workshop, 2005. on Tenth IEEE International (2005)

Fault injection techniques based on the use of VHDL as design language offer important advantages with regard to other fault injection techniques. First, as they can be applied during the design phase of the system, they allow reducing the time-to-market. Second, this type of techniques presents high controllability and reachability. Among the different techniques, those based on the use of saboteurs and mutants are especially attractive due to their high capability of fault modeling. However, it is difficult to implement automatically these techniques in a fault injection tool, mainly the insertion of saboteurs and the generation of mutants. In this paper, we present new models of saboteurs and mutants that can be easily applicable in VFIT, a fault injection tool developed by the Fault-Tolerant Systems Research Group (GSTF) of the Technical University of Valencia.
Genesis II - Standards Based Grid Computing
Authors: Mark M. Morgan, Andrew S. Grimshaw
Venue: Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (2007)

In the past years, hype over web services and their uses in emerging software applications has prompted the creation of many standards and proto-standards. The OGF has seen a number of standards making their way through design and edit pipelines. While this standards process progresses, it is important that implementations of these standards develop in parallel in order to validate the efforts of the standards authors while also providing feedback for further specification refinement. No specification exists in isolation but rather composes with others to form higher order products. These specifications will form the grid infrastructure of the future and an evaluation of this emerging work becomes increasingly relevant. Genesis II is a grid system implemented using these standards that serves both to provide the feedback described above as well as to function as a production level grid system for research at the University of Virginia.
Data efficient implementation of UWBWA SAR algorithms
Authors: R. Rau
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 06 (1999)

It is shown that the particular form of the frequency support of raw data and focused imagery obtained from an ultra-wideband, wide beamwidth synthetic aperture radar system can be exploited in nonseparable sampling schemes to reduce the overall amount of raw data samples and image pixels that need to be stored and computed. Furthermore, it is demonstrated that the constant integration angle backprojection (CIAB) image former implicitly applies a fan filter that interpolates raw data sampled on a quincunx grid back onto the underlying rectangular grid. This subtle property of the CIAB has not been exploited so far. It leads to higher quality images with less computational complexity.
Vignetting and Illumination Compensation for Omni-Directional Image Generation on Spherical Coordinate
Authors: Yu-Na Kim, Dong-Gyu Sim
Venue: Proceedings of the 16th International Conference on Artificial Reality and Telexistence--Workshops (2006)

This paper presents an omni-directional image generation algorithm on spherical coordinates by compensating vignetting and illumination effects. The algorithm generates an omni-directional image by transforming each planar image to the spherical image. In this paper, vignetting and illumination compensation methods are proposed for realistic and seamless omni-directional video systems. We can synthesize any point of view from the stitched omni-directional image on the spherical coordinates. Experimental results show that the proposed algorithm can effectively generate the omni-directional image and with real video sequences. Furthermore, the proposed omni-directional system with vignetting and illumination compensation is shown to be approximately 1~4 dB better than that which does not consider the said effects.
An experience in collaborative learning: observations of a software engineering course
Authors: H. J. C. Ellis
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 01 (2000)

I describe my experiences in teaching an advanced graduate-level software engineering course using a collaborative approach. Software Engineering II (SEII) is the second of two graduate software engineering courses taught at Rensselaer at Hartford, a branch of the Rensselaer Polytechnic Institute that provides professional master's degrees in computer science. During the past three offerings of SEII, I have attempted to create a collaborative learning environment which would support both peer-based learning and life-long learning through the employment of such techniques as cooperative construction of mental models, brainstorming and collaboration by example. This paper provides details on the techniques that were used in SEII, describes my observations on the constraints and successes of my approach, and outlines some thoughts for future directions for SEII.
Workshop on Developing Effective Teaming & Presentation Skills to Facilitate Collaborative Software Development
Authors: Margaret R. Heil, Robert J. Fornaro
Venue: Proceedings of the 20th Conference on Software Engineering Education & Training (2007)

In today's global work environment, inclusive and clear communication has become increasingly important. Educators have the responsibility to equip computer science and software engineering undergraduates with communication skills that can help them, as budding professionals, to manage these global challenges. Participants of this workshop will learn about a spectrum of work approaches and communication styles; they will learn to use this information so that they may teach students how to develop more effective teaming skills and more effective technical presentations related to software development. If students are armed with such skills, they will carry keys to successful collaborative software development.
Foreground auditory scene analysis for hearing aids
Authors: Marie A. Roch, Richard R. Hurtig, Tong Huang, Jing Liu, Sonia M. Arteaga
Venue: Pattern Recognition Letters (2007)

Although a wide variety of signal enhancement algorithms are available for hearing aids, selection and parameterization of the best algorithm at any given time is highly dependent upon the environment of the hearing aid user. The use of auditory scene analysis has been proposed by several groups to categorize the background noise. In this work, an algorithm is proposed to categorize a foreground speaker as opposed to the background noise and parameterize a frequency-based compression algorithm which has been previously shown to improve speech understanding for some individuals with severe sensorineural hearing loss in the 2-3kHz range.
Digital video in a fading interference wireless environment
Authors: L. C. Yun
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 02 (1996)

Much research and development related to digital video has targeted storage, wired backbone, and broadcast wireless transport environments. We address video transport in a heterogeneous network, especially with interference- and fading dominated wireless access, such as a cellular local-area or wide-area network. It is expected that multimedia (including video) will be an important application for desktop computers, and this suggests offering similar wireless capabilities. We note a number of deficiencies in existing video compression standards such as MPEG for this environment, and identify a number of challenging new research issues.
Significance Analysis and Improved Discovery of Differentially Co-expressed Gene Sets in Microarray Data
Authors: Haixia Li, R. Krishna Murthy Karuturi
Venue: Proceedings of the Sixth IEEE International Conference on Data Mining - Workshops (2006)

Differential co-expression signifies the deregulated pathways as opposed to differential expression that signifies change of gene expression. Kostka and Spang proposed a score and an algorithm to elicit differentially co-expressed gene-sets. We analyze the statistical properties of their score in two different data processing settings and obtain respective null-distributions to provide the statistical significance of a gene-set through the p-value of its score. We propose to use these p-values to automate their algorithm. In addition, we propose a two stage algorithm, based on Friendly Neighbors (FNs) algorithm, called FNs-KS algorithm for improved discovery of such gene set i.e. improves both sensitivity and specificity of the discovery.
A Framework for the Assessment and Selection of Software Components and Connectors in COTS-Based Architectures
Authors: Jesal Bhuta, Chris A. Mattmann, Nenad Medvidovic, Barry Boehm
Venue: Proceedings of the Sixth Working IEEE/IFIP Conference on Software Architecture (2007)

Software systems today are composed from prefabricated commercial components and connectors that provide complex functionality and engage in complex interactions. Unfortunately, because of the distinct assumptions made by developers of these products, successfully integrating them into a software system can be complicated, often causing budget and schedule overruns. A number of integration risks can often be resolved by selecting the "right' set of COTS components and connectors that can be integrated with minimal effort. In this paper we describe a framework for selecting COTS software components and connectors ensuring their interoperability in software-intensive systems. Our framework is built upon standard definitions of both COTS components and connectors and is intended for use by architects and developers during the design phase of a software system. We highlight the utility of our framework using a challenging example from the data-intensive systems domain. Our preliminary experience in using the framework indicates an increase in interoperability assessment productivity by 50% and accuracy by 20%.
Automated Testing of Timeliness: A Case Study
Authors: Robert Nilsson, Jeff Offutt
Venue: Proceedings of the 29th International Conference on Software Engineering Workshops (2007)

A problem with testing timeliness of real-time applications is the response-time dependency on the execution order of concurrent tasks. Conventional test methods ignore task interleaving and timing and thus do not help determine which execution orders need to be exercised to test temporal correctness. Model based mutation testing has been proposed to generate inputs and determine the execution orders that need to be verified to increase confidence in timeliness. This paper evaluate a mutation-based framework for automated testing of timeliness by applying it on a small control system running on Linux/RTAI. The experiments presented in this paper indicate that mutation-based test cases are more effective than random and stress tests in finding both naturally occurring and randomly seeded timeliness faults.
On achieving the "best of both worlds" in secure multiparty computation
Authors: Jonathan Katz
Venue: Proceedings of the thirty-ninth annual ACM symposium on Theory of computing (2007)

Two settings are typically considered for secure multipartycomputation, depending on whether or not a majority of the partiesare assumed to be honest. Protocols designed under this assumptionprovide "full security" (and, in particular, guarantee outputdelivery and fairness) when this assumption is correct; however, if half or more of the parties are dishonest then security iscompletely compromised. On the other hand, protocols toleratingarbitrarily-many faults do not provide fairness or guaranteed output delivery even if only a single party is dishonest. It isnatural to wonder whether it is possible to achieve the "best ofboth worlds" : namely, a single protocol that simultaneouslyachieves the best possible security in both the above settings. Ishai, et al. (Crypto 2006) recently addressed this question, andruled out constant-round protocols of this type. As our main result, we completely settle the question by ruling outprotocols using any (expected) polynomial number of rounds. Given this stark negative result, we then ask what can be achieved if we are willing to assume simultaneous message transmission (or, equivalently, a non-rushing adversary). In this setting, we show that impossibility still holdsfor logarithmic-round protocols. We also show, for any polynomialp, a protocol (whose round complexity depends on p) that can be simulated to within closeness O(1/p).
High-Fidelity Simulations for Maneuvering Unmanned Combat Air Vehicle Configurations
Authors: Raymond E. Gordnier, Miguel R. Visbal, Scott E. Sherer
Venue: Proceedings of the HPCMP Users Group Conference (2006)

In this paper a high-order computational method for the highly unsteady, complex vortical flows over unmanned combat air vehicle (UCAV) like configurations is presented. A sixth-order compact difference scheme with an eighth-order low pass filter is used to solve the Navier-Stokes equations. An implicit large-eddy simulation (ILES) method which exploits the high-order accuracy of the compact difference scheme and uses the discriminating higher-order filter to regularize the flow is used to model the transition and turbulence in these highly separated flows. This computational approach is applied to the detailed characterization of the flowfield over a low sweep delta wing at moderate Reynolds numbers and both low and moderate freestream Mach numbers. Computations exploring the control of the vortical flows above a swept delta wing by use of a dialectric-barrier-discharge (DBD) actuator are also presented. With the actuator located near the apex, significant movement of the vortex breakdown location and a dramatic transformation of the shear-layer sub-structures are demonstrated.
Application of extremum sampling in speech coding
Authors: M. R. Nakhai
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 06 (2000)

The magnitude spectrum of speech is sampled to extract the extremum (maximum) points representing the underlying sine-wave amplitudes. The resulting nonuniform samples are, first, interpolated using a cubic spline function and, then, modelled by an all-pole magnitude spectrum. The gain factor and the line spectral frequency (LSF) domain representation of the coefficients of the all-pole model are quantized at the encoder. A faithful reconstruction of the spectral extremum envelope is obtained at the decoder using the dequantized all-pole model parameters.
IPython: A System for Interactive Scientific Computing
Authors: Fernando Perez, Brian E. Granger
Venue: Computing in Science and Engineering (2007)

Python offers basic facilities for interactive work and a comprehensive library on top of which more sophisticated systems can be built. The IPython project provides an enhanced interactive environment that includes, among other features, support for data visualization and facilities for distributed and parallel computation.
An Economic Model for Software Architecture Decisions
Authors: Paul C. Clements
Venue: Proceedings of the First International Workshop on The Economics of Software and Computation (2007)

Software architecture is touted as essential for system development, but its benefits are almost never quantified. Further, architects are faced with decisions about architecture (such as deciding when an architecture has outlived its usefulness) that should be answered on an economic basis. This paper presents an simple economic modeling language that has been useful in the realm of software product lines, and argues that a similar language would be equally useful in the realm of architecture decision-making.
A fast VSELP speech coder based on mutually orthonormal regular pulse vectors
Authors: J. Soumagne
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 01 (1996)

A new vector sum excited linear prediction (VSELP) speech coder employing mutually orthonormal regular pulse vectors is presented. Since the algorithm uses an efficient vector-sum codebook consisting of mutually orthonormal regular pulse basis vectors, computational load for codebook search can be significantly reduced, while the reconstructed speech quality is equivalent to that of the conventional VSELP. The method, referred to as regular pulse VSELP (RP-VSELP), employs the Gram-Schmidt (GS) procedure to orthonormalize the basis vectors designed in a form of regular pulses. To enhance the SNR performance, the basis vectors are optimized using an iterative closed-loop training process. 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
Cooperative learning in an undergraduate computer science curriculum
Authors: J. C. Prey
Venue: Proceedings of the Frontiers in Education Conference, on 1995. Proceedings., 1995 - Volume 02 (1995)

As a discipline, computer science has seen many dramatic changes. The content of the curriculum has for the most part kept pace with these changes. However the pedagogy has changed very little. Most computer science instruction uses the lecture method as the exclusive means of teaching the fundamentals of the material and out-of-class programming assignments to ensure appropriate programming skills are developed. In most cases, students learn to write short programs from scratch, by themselves. Compare this with the real world where programs are thousands or millions of lines long, are often extensively modified and maintained rather than merely constructed, are manipulated in a tool-rich environment, where work is almost always a team effort, and where the form of a solution has profound impact on future cost and performance. This clearly illustrates the problem. There is a serious mismatch between what is taught, how it is taught, and the emphasis it receives on one hand and what the consumers of the education actually need on the other. The University of Virginia began an ambitious undergraduate computer science curriculum revision in 1992. We discuss how we incorporated a cooperative learning environment into our new curriculum.
High current densities in copper microcoils: influence of substrate on failure mode
Authors: Johan Moulin, Marion Woytasik, Jean-Paul Grandchamp, Elisabeth Dufour-Gergam, Alain Bosseboeuf
Venue: Microsystem Technologies (2007)

Copper planar microcoils were processed by U.V. lithography on SiO2/Si and Kapton&#x00ae;. They were packaged on different types of support in order to study the influence of thermal exchange conditions on device functioning. An electric current was injected in the coil and step by step increased until the electric connection broke, while the temperature of the microcoils remained free. This latter was estimated from the copper resistivity. It allowed demonstrating that the thermal exchange mode of the wire-bonded microcoils is conductive. The current density was calculated taking into account the deterioration of the coils by oxidation. Its maximum value is linearly decreasing with the thermal exchange ability of the support. The failure modes of the microcoils are related to track melting and oxidation, the current density remaining one order too weak to induce electromigration.
New error estimates for Galerkin method to an airfoil equation
Authors: Yafang Gong
Venue: Journal of Computational and Applied Mathematics (2007)

In this paper we consider new error estimates under the weighted Chebyshev norm for Galerkin method to an airfoil equation. Galerkin discretisation is discussed. The smoothness conditions of the input functions are improved, i.e., they need to be Holder continuous with 12