ppxscal/embedding_network huggingface dataset:
Project-based learning practices in computer science education
Authors: S. Fincher
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 03 (1998)

The EPCoS project (Effective Projectwork in Computer Science) is working to map the range of project-based learning practices in UK higher education and to generate insights into what characterizes the contexts in which particular techniques are effective. In assembling a body of authentic examples, EPCoS aims to provide a resource that enables extrapolation and synthesis of new techniques. To allow educators and researchers to mine this material, EPCoS is systematizing it within a template-based catalogue, augmented with indexing and abstracting devices. Moreover, EPCoS is examining the process by which practices are transferred between institutional contexts, with a view to identifying effective models of the transfer process. Three key elements of transfer are the identification of appropriate practices, the selection of a practice for a purpose, and the integration of a chosen practice into the existing culture. Structured resources and process models are essential tools for supporting responsiveness in the current climate of continual change: the rapid development of computer technology is demanding new range and flexibility in project work, and EPCoS's mapping of project-based teaching allows practitioners to respond to these changes. This is one context in which educational research into how projects work can generalize to professional practice.
On "Superstable" discrete systems
Authors: V. M. Kuntsevich
Venue: Automation and Remote Control (2007)

For the class of nonstationary discrete linear systems whose parameters have only multiple estimates, the sufficient condition for their robust stability was obtained on the basis of a discrete analog of the Lyapunov method. If satisfied at each time instant, this condition can be interpreted as the sufficient stability condition for systems with "frozen" coefficients. Robust stability of the stationary systems of the specified class follows from it as a special case.
High Computational Performance in Code Exited Linear Prediction Speech Model Using Faster Codebook Search Techniques
Authors: R. Pravin Kumar
Venue: Proceedings of the International Conference on Computing: Theory and Applications (2007)

The most commonly used coder for producing good quality speech at rates below 10 kbits/s is Code Excited Linear Prediction (CELP). In this time domain Analysis-by-Synthesis coder, the excitation signal is chosen by attempting to match the reconstructed speech waveform as closely as possible to the original speech waveform by searching through a large vector quantizer codebook. The closest matching excitation signal (taken from code book) along with pitch, linear prediction coefficients (LPC) and pitch lag are typically transmitted from the encoder side in order to reconstruct the input speech signal. Codebook search is identified as the computationally most complex module and several methods to implement the same are described along with complexity reduction due to each method.
On the creation of a new course entitled "Modeling of Engineering Systems"
Authors: E. E. Yaz
Venue: Proceedings of the Frontiers in Education Conference, on 1995. Proceedings., 1995 - Volume 02 (1995)

This paper explains the preparations undertaken to offer a new course on modeling of engineering systems. It details the factors motivating the development of such a course, its objectives, and the work plan being followed for its preparation. Although this course will be offered to the electrical engineering students, it should be of significant interest to other engineering majors as well. The course involves the use of SIMULINK simulation software.
ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing
Authors: Weidong Cui, Marcus Peinado, Helen J. Wang, Michael E. Locasto
Venue: Proceedings of the 2007 IEEE Symposium on Security and Privacy (2007)

In this paper, we present ShieldGen, a system for automatically generating a data patch or a vulnerability signature for an unknown vulnerability, given a zero-day attack instance. The key novelty in our work is that we leverage knowledge of the data format to generate new potential attack instances, which we call probes, and use a zero-day detector as an oracle to determine if an instance can still exploit the vulnerability; the feedback of the oracle guides our search for the vulnerability signature. We have implemented a ShieldGen prototype and experimented with three known vulnerabilities. The generated signatures have no false positives and a low rate of false negatives due to imperfect data format specifications and the sampling technique used in our probe generation. Overall, they are significantly more precise than the signatures generated by existing schemes. We have also conducted a detailed study of 25 vulnerabilities for which Microsoft has issued security bulletins between 2003 and 2006. We estimate that ShieldGen can produce high quality signatures for a large portion of those vulnerabilities and that the signatures are superior to the signatures generated by existing schemes.
Gaussian modeling for channel errors diagnosis in image transmission
Authors: F. Labeau
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 05 (1999)

In this paper we propose an original study of the reconstruction of subband compressed images impaired by channel transmission errors. The method proceeds in two steps:first a detection scheme is applied to determine which coefficients of the subband decomposition have been affected by transmission, and then an estimation step tries to evaluate the erroneous coefficients. In our model, subband coefficients are considered to be drawn from jointly Gaussian random processes. Based on this assumption, conditional statistics can be computed which enable to test the likelihood of a given set of received coefficients with respect to the rest of the image. The detection and estimation processes are derived from these statistics. The method is validated through simulation and visual results are provided. The drawbacks of the method are outlined and explained through the discrepancies between the Gaussian assumption and real world images, namely around image edges.
The David L. Bassett stereoscopic atlas of human anatomy: developing a specialized collection within the stanford mediaserver digital library
Authors: Jeremy C. Durack, Amy L. Ladd, Shyh-Yuan Kung, Margaret Krebs, Robert A. Chase, Parvati Dev
Venue: Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries (2007)

We describe the creation of a specialized media collection in the Stanford MediaServer highlighting the David L. Bassett Stereoscopic Atlas of Human Anatomy. Previous reports have outlined the underlying architecture and features of the MediaServer developed to support biomedical media-based education 1,2. Here we focus on specific design principles and technical aspects of a focused project that may be beneficial to those developing digital media collections.
A performance model for unified parallel c
Authors: Steven Seidel
Venue:  (2006)

This research is a performance-centric investigation of Unified Parallel C (UPC), a parallel programming language that belongs to the Partitioned Global Address Space (PGAS) language family. The objective is to develop a performance modeling methodology that targets UPC but can be generalized for other PGAS languages. The performance modeling methodology is based on platform characterization and program characterization, achieved through shared memory benchmarking and static code analysis, respectively. Models built using this methodology can predict the performance of simple UPC application kernels with relative errors below 15%. Besides performance prediction, this work provides a framework based on shared memory benchmarking and code analysis for platform evaluation and compiler/runtime optimization studies. A few platforms are evaluated in terms of their fitness to UPC computing. Some optimization techniques, such as remote reference caching, is studied using this framework. A UPC implementation, MuPC, is developed along with the performance study. MuPC consists of a UPC-to-C translator built upon a modified version of the EDG C/C++ front end and a runtime system built upon MPI and POSIX threads. MuPC performance features include a runtime software cache for remote accesses and low latency access to shared memory with affinity to the issuing thread. In this research, MuPC serves as a platform that facilitates the development, testing, and validation of performance microbenchmarks and optimization techniques.
The concept of the Concept Inventory assessment instrument
Authors: D. L. Evans
Venue: Proceedings of the Frontiers in Education Conference, 2001. 31st Annual - Volume 02 (2001)

The well-known Force Concept Inventory (FCI) instrument has been in use over the last 15 years, and is now credited with stimulating reform of physics education. An instructor can give the FCI as both a pre-test and as a post-test to produce data that can be used in a continuous improvement manner to evaluate the effectiveness of various instructional strategies. This presentation reviews the development and history of the FCI from the standpoint of what makes it so effective for this use. This presentation is a lead-in to four new Concept Inventories, two in thermodynamics (one for a first year course and one for a second year course), one in signals and processing, and one in strength of materials. Other Concept Inventories are known to exist or are being created (e.g., wave phenomenon for electrical engineers and energy principles in physics).
Mixed-signal LSI relationship among measurement accuracy, yield, and test time
Authors: H. Kohinata, M. Arai, S. Fukumoto
Venue: Proceedings of the 2004 IEEE International Workshop on Defect Based Testing (2004)

As the degree of LSI integration is becoming rapidly greater and circuit size is becoming bigger, the bigger LSI test cost due to longer test time in LSI production becomes more serious. This paper discusses how much impact mixed LSI measurement accuracy improvement affects test time and LSI yield by analyzing the test results in a production test. It is a practical and effective example for the semiconductor industry to show the relationship among measurement accuracy, test time, and yield based on the actual test data.
Signal cancellation effects in adaptive radar Mountaintop data-set
Authors: M. O. Berin
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 05 (1996)

This paper studies signal cancellation effects in adaptive radar. Using examples from Mountaintop data, it is shown that signal cancellation occurs when the target of interest is included in the weight vector training. The signal cancellation is due to calibration errors (mismatch between the target signal and presumed steering vector). An eigenanalysis-based adaptive beamformer is shown to have greater robustness to signal cancellation effects than the sample matrix inversion (SMI) method.
Endorsed E-Cash
Authors: Jan Camenisch, Anna Lysyanskaya, Mira Meyerovich
Venue: Proceedings of the 2007 IEEE Symposium on Security and Privacy (2007)

An electronic cash (e-cash) scheme lets a user withdraw money from a bank and then spend it anonymously. E-cash can be used only if it can be securely and fairly exchanged for electronic goods or services. In this paper, we introduce and realize endorsed e-cash. An endorsed e-coin consists of a lightweight endorsement x and the rest of the coin which is meaningless without x. We reduce the problem of exchanging e-cash to that of exchanging endorsements. We demonstrate the usefulness of endorsed e-cash by exhibiting simple and efficient solutions to two important problems: (1) optimistic and unlinkable fair exchange of e-cash for digital goods and services; and (2) onion routing with incentives and accountability for the routers. Finally, we show how to represent a set of n endorsements using just one endorsement; this means that the complexity of the fair exchange protocol for n coins is the same as for one coin, making e-cash all the more scalable and suitable for applications. Our fair exchange of multiple e-coins protocol can be applied to fair exchanges of (almost) any secrets.
Multiple solutions of periodic boundary value problems for first order differential equations
Authors: Yansheng Liu
Venue: Computers Mathematics with Applications (2007)

By applying the well known Leggett-Williams multiple fixed point theorem and fixed point theorem of cone expansion and compression, this paper investigates the existence of multiple positive solutions of periodic boundary value problems for first order differential equations. Meanwhile, two examples are worked out to demonstrate the main results.
Memetic algorithm using multi-surrogates for computationally expensive optimization problems
Authors: Zongzhao Zhou, Yew Soon Ong, Meng Hiot Lim, Bu Sung Lee
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2007)

In this paper, we present a multi-surrogates assisted memetic algorithm for solving optimization problems with computationally expensive fitness functions. The essential backbone of our framework is an evolutionary algorithm coupled with a local search solver that employs multi-surrogate in the spirit of Lamarckian learning. Inspired by the notion of &#x2018;blessing and curse of uncertainty&#x2019; in approximation models, we combine regression and exact interpolating surrogate models in the evolutionary search. Empirical results are presented for a series of commonly used benchmark problems to demonstrate that the proposed framework converges to good solution quality more efficiently than the standard genetic algorithm, memetic algorithm and surrogate-assisted memetic algorithms.
Portable multimedia SoC design: a global challenge
Authors: Maurizio Paganini, Georg Kimmich, Stephane Ducrey, Guilhem Caubit, Vincent Coeffe
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

The intrinsic capability brought by each new technology node opens the way to a broad range of system integration options and continuously enables new applications to be integrated in a single device to the point that almost everything seems possible. In reality the difference between a successful design and a failure resides today more then ever in the ability of the design team to properly master all the critical design factors at once. In essence, today's System on Chip design represent a multidiscipline challenge that spans from Architecture through Design to Test and finally mass production. SoC design for portable applications has to cope with very unique constraints that normally greatly challenge the ability of an organization and most of the times of an entire Company to fully master its industrialization capabilities and pushes concurrent design to new limits. In the end, only a well thought out Architecture followed by best practices design techniques with a high level of understanding of the manufacturing constraints and excellent logistics can result in a device that can be produced in the volume required by the cell phone industry today. This paper will try to capture how these challenges have been addressed to design the family of Application Processing Engines named Nomadik&trade;. The paper will specifically focus on the third generation device labeled STn8815S22 where the integration capabilities of silicon technology have been pared with those of System in Package design to provide and extremely compact and effective System on Chip for portable multimedia applications. An overview of the main success factors and challenges will be presented driving the reader from the Architecture conception through the chip industrialization. Both Silicon design and packaging design will be illustrated, highlighting those techniques that made this incredible product a reality.
Analyzing the overload behavior of a simple web server
Authors: Niels Provos, Chuck Lever, Stephen Tweedie
Venue: Proceedings of the 4th annual Linux Showcase & Conference - Volume 4 (2000)

Linux introduces POSIX Real Time signals to report I/O activity on multiple connections with more scalability than traditional models. In this paper we explore ways of improving the scalability and performance of POSIX RT signals even more by measuring system call latency and by creating bulk system calls that can deliver multiple signals at once.
Compiling vector programs for simd devices
Authors: David Padua
Venue:  (2006)

As an effective way of utilizing data parallelism in applications, SIMD architecture has been adopted by most today's microprocessors. Using intrinsic functions and automatic compilation are common programming methods for today's SIMD devices. However, neither methods can provide enough programmability and performance at the same time. Many issues must be addressed to generate efficient SIMD code. For example, most SIMD devices only support memory accesses on contiguous and aligned sections. Additional permutation instructions are needed for non-contiguous and/or misaligned references. Such overhead can cancel all performance benefits from SIMD computation. VINCI, or Vector I-code Novel Compilation Infrastructure, is proposed in this thesis. VINCI focuses on translating vector programs into efficient code for SIMD devices. Vectors in input programs can have arbitrary length, strides, and alignment settings. However, vectors required by SIMD devices must have the same fixed length, unit strides, and aligned addresses. VINCI employs a sequence of program transformations to convert all vectors into such specific format. VINCI also includes several optimization algorithms. The optimization algorithm on data permutations is of great importance. By unifying all forms of data permutations into the explicit representation, the optimization algorithm can reduce the number of data permutations in vector programs by propagating them across statements and merging them whenever possible. In addition, an efficient code generation algorithm is included to generate native permutation instructions from vector permutation operations. Besides, any common compiler analysis and optimizations were also extended for vector representation and included in VINCI. Two examples are def-use analysis and copy propagation. In addition; two domain-specific optimization techniques for DSP programs are also extended for vector programs. These optimizations are necessary to delivery the final performance on SIMD devices. VINCI was implemented on the HiLO compiler, an internal compiler used in SPIRAL. Experiments were conducted on two platforms, VMX and SSE2. Testing applications include both automatically-generated programs and manually-written kernels. The results show that up to 77% of the permutation instructions are eliminated and, as a result, the average performance improvement is 48% on VMX and 68% on SSE2. For several applications, near perfect speedups have been achieved on both platforms.
Safecode: a platform for developing reliable software in unsafe languages
Authors: Vikram Adve
Venue:  (2006)

Many computing systems today are written in weakly typed languages such as C and C++. These languages are known to be "unsafe" as they do not prevent or detect common memory errors like array bounds violations, pointer cast errors, etc. The presence of such undetected errors has two major implications. The first problem is that it makes systems written in these languages unreliable and vulnerable to security attacks. The second problem, which has never been solved for ordinary C, is that it prevents sound, sophisticated static analyses from being reliably applied to these programs. Despite these known problems, increasingly complex software continues to get written in these languages because of performance and backwards-compatibility considerations. This thesis presents a new compiler and a run-time system called SAFECode (Static Analysis For safe Execution of Code) that addresses these two problems. First, SAFECode guarantees memory safety for programs in unsafe languages with very low overhead. Second, SAFECode provides a platform for reliable static analyses by ensuring that an aggressive interprocedural pointer analysis, type information, and call graph are never invalidated at run-time clue to memory errors. Finally, SAFECode can detect some of the hard-to detect memory errors like dangling pointer errors with low overhead for some class of applications and can be used not only during development but also during deployment. SAFECode requires no source code changes, allows memory to be managed explicitly and does not use metadata on pointers or individual tag bits for memory (avoiding any external library compatibility issues). This thesis describes the main ideas, insights, and the approach that SAFECode system uses to achieve the goal of providing safety guarantees to software written in unsafe languages. This thesis also evaluates the SAFECode approach on several benchmarks and server applications and shows that the performance overhead is lower than any of the other existing approaches.
Retrenching the Purse: Finite Exception Logs, and Validating the Small
Authors: Richard Banach, Michael Poppleton, Susan Stepney
Venue: Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop (2006)

The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal abstract model and a formal concrete model were developed, and a formal refinement was hand-proved between them. Nevertheless, certain requirements issues were set beyond the scope of the formal development, or handled in an unnatural manner. The retrenchment Tower Pattern is used to address one such issue in detail: the finiteness of the purse log (which records unsuccessful transactions). A retrenchment is constructed from the lowest level model of the purse system to a model in which logs are finite, and is then lifted to create two refinement developments of the purse, working at different levels of detail, and connected via retrenchments, forming the tower. The tower development is appropriately validated, vindicating the design used.
Using language and students' relationship to authority to understand the learning process
Authors: D. DiBiasio
Venue: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01 (2001)

In this presentation, the authors describe work aimed at understanding student learning in the early stages of their professional education. The role of language-that of the teacher and that used by students during the learning process-is an important factor in understanding learning. The students' relationship to authority can also be an important indicator of their intellectual development. Their work probes these effects and suggests how as teachers, one can approach the limits in student learning. They use transcripts and/or video of student groups, and written student work from project reports and exams as evidence for their analysis.