ppxscal/embedding_network huggingface dataset:
Heap analysis in the presence of collection libraries
Authors: Mark Marron, Darko Stefanovic, Manuel Hermenegildo, Deepak Kapur
Venue: Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2007)

Memory analysis techniques have become sophisticated enough to model, with a high degree of accuracy, the manipulation of simple memory structures (finite structures, single/double linked lists and trees). However, modern programming languages provide extensive library support including a wide range of generic collection objects that make use of complex internal data structures. While these data structures ensure that the collections are efficient, often these representations cannot be effectively modeled by existing methods (either due to excessive analysis runtime or due to the inability to represent the required information). This paper presents a method to represent collections using an abstraction of their semantics. The construction of the abstract semantics for the collection objects is done in a manner that allows individual elements in the collections to be identified. Our construction also supports iterators over the collections and is able to model the position of the iterators with respect to the elements in the collection. By ordering the contents of the collection based on the iterator position, the model can represent a notion of progress when iteratively manipulating the contents of a collection. These features allow strong updates to the individual elements in the collection as well as strong updates over the collections themselves.
PILE: Physical Interactive Learning Environment
Authors: Jie Chi Yang, Yi Ho Chen, Chih Hung Chen
Venue: Proceedings of the The First IEEE International Workshop on Digital Game and Intelligent Toy Enhanced Learning (2007)

This study aims to design and develop a gamebased English interactive learning environment using video-capture virtual reality technology. The system is designed for English teaching course in elementary school by physical body interaction. Two detection methods are used in the system, one is RGB color values detection, the other is gestures detection. There are six stages of learning activities are designed by integrating into English curriculum with specific tasks and learning objectives. In addition to operate the system by physical movement, students can also use various properties, such as pistol, x-ray searchlight, magnet, spray paint can, and conical cap. This is designed to improve the accuracy of detection, as well as to increase the fun during the learning process. The system also provides an interface for teachers to edit the teaching materials when they have different requirement for teaching. A preliminary study was conducted at an elementary school of 30 second grade class students. The data collected from the pre- and post- tests. The result shows that there are significant differences between the pre-test and the post-test (p=.031\le.05).
Analysis of mrate, shimmer, jitter, and F/sub 0/ contour features across stress and speaking style in the SUSAS database
Authors: R. E. Slyh
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

This paper highlights the results of an investigation of several features cross the style classes of the "simulated" portion of the SUSAS database. The features considered here include a previously-introduced measure of speaking rate called mrate, measures of shimmer, measures of jitter, and features derived from fundamental frequency (F/sub 0/) contours. The F/sub 0/ contour features are the means of F/sub 0/ and /spl Delta/F/sub 0/ over the first, middle, and last thirds of the ordered set of voiced frames for each word. The mrate exhibits differences between the fast, neutral, and slow styles and between the loud, neutral, and soft styles. Shimmer and jitter exhibit differences that are similar to those of mrate; however, the shimmer and jitter differences are less consistent than the mrate differences across the speakers in the database. Several F/sub 0/ contour features exhibit differences between the angry, loud, Lombard, and question styles and most of the other styles.
OFDM with biorthogonal demultiplexing
Authors: Z. Cvetkovic
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 05 (2000)

In this paper we study biorthogonal schemes for frequency division multiplexing. These are schemes which use one given set of orthogonal waveforms for frequency division multiplexing at the transmitter, and a different set of waveforms, which is orthogonal to the multiplexing waveforms, for demultiplexing at the receiver. The well known cyclic prefix scheme is in this category. This biorthogonal demultiplexing allows for more design freedom, and we investigate its impact on designing robust OFDM transmultiplexers, and focus on waveforms which extend over several OFDM symbol intervals. 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
Empirical Test Observations in Client-Server Systems
Authors: Les Hatton
Venue: Computer (2007)

Formal statistical analysis of defect databases for two commercial client-server products tests the hypothesis that defects in the graphical client mask more important underlying defects in the computational server. The analysis also quantifies the benefit of continued testing after delivery in terms of reduced software defect densities apparent to end users.
Java client ahead-of-time compiler for embedded systems
Authors: SungHyun Hong, Jin-Chul Kim, Jin Woo Shin, Soo-Mook Moon, Hyeong-Seok Oh, Jaemok Lee, Hyung-Kyu Choi
Venue: Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems (2007)

The performance of embedded Java virtual machine can be improved by ahead-of-time compiler (AOTC), which translates bytecode into machine code in the server and installs the machine code on the client device. Although AOTC is more advantageous than just-in-time compiler (JITC) due to its absence of the translation overhead, AOTC cannot be applicable to dynamically downloaded classes at runtime. This paper proposes client-AOTC (c-AOTC) which performs AOTC on the client device using the JITC module installed on the device, complementing the server-AOTC. The machine code of a method translated by JITC is cached on a persistent memory of the device, and when the method is invoked again in a later run of the program, the machine code is loaded and executed directly without the translation and interpretation overhead. One of major issues in c-AOTC is relocation because some of the addresses used by the cached machine code are not correct when the machine code is loaded and used in a different run; those addresses should be corrected before they are used. Constant pool resolution and inlining complicate the relocation problem and we propose our solutions. We developed a c-AOTC on Sun's CDC VM reference implementation (RI) and our evaluation results indicate that c-AOTC can improve the performance significantly, as much as an average of 12%. We also experiment with the issue of reducing the number of c-AOTC methods to be cached when the persistent space is tight, with a graceful degradation of performance.
Fronesis-the third dimension of knowledge, learning, and evaluation [engineering education]
Authors: B. Lennartsson
Venue: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01 (2001)

The situation today is quite different from what we have been used to. The globalization and the availability and use of Internet have changed our view of knowledge, learning and examination. Here, however, the authors use a very old knowledge model in their presentation, that of Aristotle, with his three components: Episteme, Techne and Fronesis. Episteme covers the most common view of academic knowledge, the understanding that can be achieved by reading books. Episteme is the declarative knowledge that can easily be transferred from the teacher or author to the student. Techne can be viewed as the technical skills like ability to ride a bike. This capability can be achieved by learning from a master and imitate the behavior. Techne has a strong tradition in engineering education. Lab exercises are aiming at developing such skills. Episteme and Techne have been sufficient to capture the essentials of engineering education. Today, however, the ability to find answers to new questions and solutions to new problems is more important than the ability to remember contents from textbooks. Fronesis, is the "political knowledge", that is the ability to understand and interpret the situation at hand and decide about appropriate actions. What is new in our time is that the general situation is very different from what the teacher has experienced, and from what previous generations have met. The authors claim that Fronesis today is the most important dimension of knowledge, and they present how they have designed computer programming courses to take this into account. Traditional examination can check the Episteme capability and Techne can be checked by practical demonstration: playing the piano, building an electronic device, etc. Examination of Fronesis needs special consideration, and they are testing the portfolio approach introduced at Harvard University (USA) and used successfully in many countries.
Edge-preserving image resizing using modified B-splines
Authors: A. Gotchev
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 03 (2001)

An edge-preserving method for image resizing (decimation and interpolation) is proposed. The decimation is considered as an orthogonal projection with respect to the chosen interpolation basis. The latter one is formed in a spline-like manner as a linear combination of B-splines of different degrees. This combination is optimized in such a way that the small image details are preserved. Considering the strongest edges as step edges, a segmentation procedure preceding the decimation is proposed. It leads to resized images with clearly outlined borders.
Computing discrete time-frequency distributions using principal component filter bank
Authors: Thuyen Le
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 01 (2000)

Time frequency distributions (TFDs) based on Cohen's (1995) class have significant potential for the analysis of non-stationary signals. However, the high computational requirement limits their use in systems when hardware resources are costly. Independently of TFDs, developments in wavelets and filter bank theory have led to the design of a signal-adapted principal component filter bank so that good L/sup 2/ approximations to the signal can be computed from a reduced number of channels. In this paper, we integrate these two different but complementary works into a novel cross-term reduced scheme for the TFD computation with incremental refinement feature. The approach allows dead-line based real-time processing of time-critical applications. Further, the polyphase formulation of the filter bank yields parallel structures at reduced operation rate for the same throughput which can be advantageous for VLSI integration in terms of local connections and low power consumption.
A modified model and linearization method for solid state power amplifier
Authors: Ali Reza Aghasi, Haleh Karkhaneh, Ayaz Ghorbani
Venue: Analog Integrated Circuits and Signal Processing (2007)

In this paper we present a modified model of solid state power amplifiers. Also using the mathematical concept of best approximation in Hilbert spaces, a predistorter structure is suggested to compensate both AM/AM and AM/PM conversion characteristics of a solid state power amplifier. To verify the effects of this linearization we generally consider it in a QAM signal transmission in an additive white Gaussian noise channel and the results are compared with the ideal linear case. It is shown that the presented method is able to compensate the nonlinearity up to a good extent. The performance of proposed method has been analyzed in frequency domain through spectrum simulations. To prove the validity of presented method we have made similar considerations on continuous spectrum.
Teaching concurrency and nondeterminism with spin
Authors: Mordechai Ben-Ari
Venue: Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education (2007)

The tutorial will familiarize the participants with the use of the Spin model checker in teaching concepts such as concurrency, verification and nondeterminism. They will also learn to use pedagogical software tools that I built based upon Spin: the jSpin environment for developing and verifying concurrent programs; SpinSpider, a tool for generating graphical representations of state diagrams of concurrent programs; VN, a tool for "experiencing" the nondeterminism of finite automata.
Computation Cost in Grid Computing Environments
Authors: Enis Afgan, Purushotham Bangalore
Venue: Proceedings of the First International Workshop on The Economics of Software and Computation (2007)

Computational grid is an upcoming environment based on open standards and virtualization of individual resources created with a goal of supporting collaboration and resource sharing. As the technology advances and user base grows, grid computing will advance beyond research institutions and find its place in the commercial sector, in need of supporting the service-oriented goals imposed by such community. With the advent or various services, Quality of Service (QoS) levels will need to be shaped to provide quantitative and qualitative measure of service satisfaction for various user categories. A major concern among these users will be the associated cost for individual services and their ability to compare these costs and services between different providers. This paper raises some initial issues in the given area, analyzes only the few currently available approaches and provides the foundation for future work in terms service comparison and cost analysis.
Interpolation and denoising of nonuniformly sampled data using wavelet-domain processing
Authors: Hyeokho Choi
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 03 (1999)

We link concepts from nonuniform sampling, smoothness function spaces, interpolation, and denoising to derive a suite of multiscale, maximum-smoothness interpolation algorithms. We formulate the interpolation problem as the optimization of finding the signal that matches the given samples with smallest norm in a function smoothness space. For signals in the Besov space B/sub q//sup /spl alpha// (L/sub p/), the optimization corresponds to convex programming in the wavelet domain; for signals in the Sobolev space W/sup /spl alpha//(L/sub 2/), the optimization reduces to a simple weighted least-squares problem. An optional wavelet shrinkage regularization step makes the algorithm suitable for even noisy sample data, unlike classical approaches such as bandlimited and spline interpolation.
A novel approach for teaching statics
Authors: M. A. Palmer
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 03 (1998)

The Engineering School at Virginia Commonwealth University (USA) is brand new. They embody a "seamless" philosophy to enhance interdisciplinary teaching and research. In addition to the traditional emphasis upon the physical and the engineering sciences, they stress business, interdisciplinary training, communication skills and interpersonal skills, in every required engineering course. Engineering Concepts (EGR 102), taken by all engineering students during the second semester of their freshman year is an example of such a course. While studying statics, the students are exposed to the use of computer software, communication skills, teamwork, business and computer programming. These topics are therefore made relevant to engineering. In the beginning of the course, the students complete four open-ended laboratory assignments, which illustrate vector addition, 2-D equilibrium, friction and moments. The students develop a spreadsheet module as part of each laboratory experience, The students will complete a design project, where they will analyze a structure and explore design alternatives. At the end of the course, they will write a Windows-based computer program to analyze an engineering structure. Business issues are explored as the students complete the design project and develop their computer program. This paper discusses the structure of the course, the logistics required to organize the course, and evaluates the success of the "novel features". This paper discusses the first two iterations of this course.
GULP: a unified logging architecture for authentication data
Authors: Matt Selsky, Daniel Medina
Venue: Proceedings of the 19th conference on Large Installation System Administration Conference - Volume 19 (2005)

We have implemented the Grand Unified Logging Project, GULP, a flexible aggregation system for authentication log data. The system merges disparate logs stored across various servers into a single format according to an XML schema. This single format is logged to a database and queried via a web interface. The strength of this system lies in the ability to correlate information across multiple logging sources and display relevant information through a simple interface.
Bounded Ideation Theory: A New Model of the Relationship Between Ideaquantity and Idea-quality during Ideation
Authors: Robert O. Briggs, Bruce A. Reinig
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

This paper presents Bounded Ideation Theory (BIT) to explain the relationship between the number-of-ideas and the number-of-good-ideas contributed during ideation. BIT posits that certain cognitive and physical boundaries cause the ideation function to be an inflected curve that transitions from a positive-but-increasing slope to a positive-butdecreasing slope. We then present implications of the theory for process design.
FIFS: a framework for implementing user-mode file systems in windows NT
Authors: Danilo Almeida
Venue: Proceedings of the 3rd conference on USENIX Windows NT Symposium - Volume 3 (1999)

This paper presents FIFS, a framework that facilitates file system research under Windows NT. FIFS addresses the high cost of file system development under Windows NT by providing a simple user-mode development environment. The environment is a Common Internet File System (CIFS) loopback server that seamlessly integrates with NT's Installable File System (IFS) architecture via the CIFS client included in the operating system. As such, it can provide full NT remote file system semantics. Initial performance measurements of the prototype FIFS implementation show FIFS capable of achieving good performance. Our prototype non-caching user-mode NFS implementation performs at about 70% the speed of a commercial non-caching kernel-mode NFS implementation.
/spl rho/-domain source modeling and rate control for video coding and transmission
Authors: Zhihai He
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 03 (2001)

The coding bit rate, R, is considered as a function of /spl rho/ which is the percentage of zeros among the quantized DCT (discrete cosine transform) coefficients. We discover that the rate function, R(/spl rho/), has some very interesting properties in the /spl rho/-domain. By introducing the new concepts of characteristic rate curves and rate curve decomposition, a novel framework for source modeling is proposed. Using the proposed source model, we can estimate the rate-quantization (R-Q) curve before quantization and coding with relative error less than 5%. Based on the estimated R-Q curve, the output bit rate of the video encoder can be accurately controlled. Our extensive simulation results show that the proposed algorithm outperforms TMN8 (see Ribas-Corbera, J. and Lei, S., IEEE Trans. on Circuits and Systems for Video Technology, vol.9, p.172-85, 1999) and VM7 (see Chiang, T. and Zhang, Y.-Q., IEEE Trans. on Circuits and Systems for Video Technology, vol.7, p.246-50, 1997) rate control algorithms by providing more accurate and robust rate control.
Towards a Real-Time Reference Architecture for Autonomic Systems
Authors: Bogdan Solomon, Dan Ionescu, Marin Litoiu, Mircea Mihaescu
Venue: Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems (2007)

Autonomic computing aims to embed automation in IT management software such that it can adapt to changes in the configuration, provisioning, protection, and resource utilization variations of the IT infrastructure at run time. It is, therefore, almost natural to consider this control software framework as being designed with control principles in mind. One of the research trends considers autonomic computing as a control system that resolves constraints related to the optimal usage of resources based on external requests made by users or processes in a reactive way. In this paper, a real-time reference architecture is introduced in which components implementing functions of real-time system elements or blocks such as transducers, controllers, and actuators are designed. The architecture of the autonomic computing software also contains components that implement functionalities specific to real-time systems. The transducers, controllers, and actuators are thus connected via real-time pattern components such as concurrency, priority, and reliability patterns.
Content-based mining for solving geoprocessing problems on grids
Authors: Gianluigi Folino, Agostino Forestiero, Giuseppe Papuzzo, Giandomenico Spezzano
Venue: Proceedings of the second workshop on Use of P2P, GRID and agents for the development of content networks (2007)

Geological data management and mining are critical areas of modern-day geology research. High throughput and high information content are two important aspects of any geoprocessing application. Geological data mining is efficient and faster if the geological data are indexed, stored and mined on content. A challenge for geological information mining is the distributed nature of the resources. Grid computing has emerged as an important new field in the distributed computing arena. It focuses on intensive resource sharing, innovative applications, and in some cases, high performance orientation. This paper describes how Grids technologies can be used to develop an infrastructure for developing geoprocessing applications that use content-based information mining. We present the MOSÈ system, a Grid-enabled problem solving environment (PSE) able to support the activities that concern the mining of geophysical data and modelling and simulation of spatio-temporal phenomena for analyzing and managing the identification and the mitigation of natural disasters like landslides, floods, wildfires, etc. MOSÈ takes advantages of the standardized resource access and workflow support for loosely coupled software components provided by the web/grid services technologies.