ppxscal/embedding_network huggingface dataset:
A text retrieval package for the unix operating system
Authors: Liam R. E. Quin
Venue: Proceedings of the USENIX Summer 1994 Technical Conference on USENIX Summer 1994 Technical Conference - Volume 1 (1994)

This paper describes lq-text, an inverted index text retrieval package written by the author. Inverted index text retrieval provides a fast and effective way of searching large amounts of text. This is implemented by making an index to all of the natural-language words that occur in the text. The actual text remains unaltered in place, or, if desired, can be compressed or archived; the index allows rapid searching even if the data files have been altogether removed. The design and implementation of lq-text are discussed, and performance measurements are given for comparison with other text searching programs such as grep and agrep. The functionality provided is compared briefly with other packages such as glimpse and zbrowser. The lq-text package is available in source form, has been successfully integrated into a number of other systems and products, and is in use at over 100 sites.
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Venue: Language, Compiler and Tool Support for Embedded Systems (2007)

It is with great pleasure that we welcome you to the ACM 2007 Conference on Languages Compilers and Tools for Embedded Systems (LCTES'07) on behalf of its organizational committees. The aim of LCTES is to provide a premier forum for sharing the latest significant research results on embedded systems, with an emphasis on programming languages, compilers, tools, and novel architectures. We hope that you will find this year's program interesting and thought-provoking and that the conference will once again provide you with a good opportunity to interact with researchers and practitioners from around the world. In response to our call for papers, 76 papers were submitted from academic and industrial institutions in Africa, Asia, Australia, Europe, Middle East, and North and South Americas. All submissions were reviewed through a "double-blind" process, in which the authors remained anonymous (except to the Program Chair) until the acceptance decisions were made by the program committee. Papers submitted by members of the program committee were subjected to the same review process. Neither the program Chair nor the general Chair submitted any papers. Each submitted paper was reviewed by at least three committee members, with the help from external expert reviewers in some cases. Over 93% of the submitted papers were each reviewed by four to six committee members. The program committee convened on the 25th of March in Chicago for an all-day meeting to reach consensus on the program. Members with a potential conflict of interest on a paper neither reviewed nor participated in the discussion of the paper. Anyone from the same institution of a coauthor or, in the past three years, having published a paper with him or her is considered as having a conflict of interest on that submission. The program chair had a conflict of interest on one of the submissions. The review and discussion of that paper was moderated by Professor Jack Davidson of University of Virginia without any involvement of the Program Chair. At the end of the meeting, the program committee selected 21 high quality papers for the regular program, representing roughly a 28% acceptance rate. The committee also identified nine additional papers and invited their authors to the poster session. We are pleased that the poster authors have an opportunity to present a work-in-progress summary in a special session. The composition of the program before you covers a range of important issues in embedded systems, including software reliability, low-power computing, embedded Java, real-time systems, multi-core systems, VLIW for DSP/stream applications, compiler analysis, and the entire memory hierarchy. We thank the program committee and the external reviewers for their diligent review effort and to all the authors who submitted their most recent fine work to this conference.
RAMA: easy access to a high-bandwidth massively parallel file system
Authors: Ethan L. Miller, Randy H. Katz
Venue: Proceedings of the USENIX 1995 Technical Conference Proceedings on USENIX 1995 Technical Conference Proceedings (1995)

Massively parallel file systems must provide high bandwidth file access to programs running on their machines. Most accomplish this goal by striping files across arrays of disks attached to a few specialized I/O nodes in the massively parallel processor (MPP). This arrangement requires programmers to give the file system many hints on how their data is to be laid out on disk if they want to achieve good performance. Additionally, the custom interface makes massively parallel file systems hard for programmers to use and difficult to seamlessly integrate into an environment with workstations and tertiary storage. The RAMA file system addresses these problems by providing a massively parallel file system that does not need user hints to provide good performance. RAMA takes advantage of the recent decrease in physical disk size by assuming that each processor in an MPP has one or more disks attached to it. Hashing is then used to pseudo-randomly distribute data to all of these disks, insuring high bandwidth regardless of access pattern. Since MPP programs often have many nodes accessing a single file in parallel, the file system must allow access to different parts of the file without relying on a particular node. In RAMA, a file request involves only two nodes -- the node making the request and the node on whose disk the data is stored. Thus, RAMA scales well to hundreds of processors. Since RAMA needs no layout hints from applications, it fits well into systems where users cannot (or will not) provide such hints. Fortunately, this flexibility does not cause a large loss of performance. RAMA's simulated performance is within 10-15% of the optimum performance of a similarly-sized striped file system, and is a factor of 4 or more better than a striped file system with poorly laid out data.
High performance and cost effective memory architecture for an HDTV decoder LSI
Authors: T. Takizawa
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

This paper proposes an efficient memory mapping and a frame memory compression for an HDTV decoder LSI using Direct Rambus/sup TM/ DRAM (DRDRAM). The DRDRAM is employed to achieve the high memory bandwidth required for HDTV decoding at the minimum memory cost. The proposed memory mapping achieves a high memory bandwidth sufficient for HDTV decoding even in the worst case and no costly line buffers are required in the LSI for format conversion. The frame memory compression method reduces the memory cost by half and achieves HDTV decoding with a single 64 Mb DRDRAM chip without loss of memory access efficiency. Simulation results show that SNR degradation is 0.1 to 2 dB in the worst frame and no visible degradation is perceived except for a resolution chart sequence.
On-line engineering mathematics testing and assessment
Authors: M. Sami Fadali
Venue: Proceedings of the Frontiers in Education Conference, 2001. 31st Annual - Volume 02 (2001)

The authors are currently developing a new strategy for mathematics assessment and remediation at the University of Nevada Reno (UNR) and the South Dakota School of Mines and Technology (SDSMT), USA. As part of this strategy, electrical engineering students take an online test of their ability to use mathematics to solve con text-based problems. In this paper, the authors report on the result of the computer test for students in an electrical engineering orientation class at UNR. The results indicate a reluctance on the part of the students to accept their mathematics deficiencies, which hinders any attempt at remediation to reduce attrition.
Simulation of voice over MPLS communication networks
Authors: N. F. Mir, A. Chien
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 01 (2002)

This paper presents analytical models for voice over IP with applications on multiprotocol label switching (MPLS) networks. Models are developed to measure the efficiency of the voice packets transmission over IP. For handling delay-sensitive packets such as voice packets, the voice back-bone of the systems to be analyzed eliminates the use of buffers on voice traffic. The network node models presented in this paper support the quality of service (QoS) requirements and traffic engineering standards supported by MPLS. The performance results in terms of voice delay and blocking probability are presented.
Where's the FEEB? the effectiveness of instruction set randomization
Authors: Ana Nora Sovarel, David Evans, Nathanael Paul
Venue: Proceedings of the 14th conference on USENIX Security Symposium - Volume 14 (2005)

Instruction Set Randomization (ISR) has been proposed as a promising defense against code injection attacks. It defuses all standard code injection attacks since the attacker does not know the instruction set of the target machine. A motivated attacker, however, may be able to circumvent ISR by determining the randomization key. In this paper, we investigate the possibility of a remote attacker successfully ascertaining an ISR key using an incremental attack. We introduce a strategy for attacking ISR-protected servers, develop and analyze two attack variations, and present a technique for packaging a worm with a miniature virtual machine that reduces the number of key bytes an attacker must acquire to 100. Our attacks can break enough key bytes to infect an ISR-protected server in about six minutes. Our results provide insights into properties necessary for ISR implementations to be secure.
Stability of continuous hybrid systems
Authors: A. S. Bychkov, M. G. Merkur'Ev
Venue: Cybernetics and Systems Analysis (2007)

The stationary state of a continuous hybrid system is analyzed for stability using the method of Lyapunov functions. Sufficient conditions of stability and instability are established. These conditions are constructive and can easily be calculated.
Hybrid Intelligent Diagnosis Systems
Authors: Amine Chohra, Nadia Kanaoui, Kurosh Madani
Venue: Proceedings of the 6th International Conference on Computer Information Systems and Industrial Management Applications (2007)

In this paper, the main objective is to give a methodology to design hybrid intelligent diagnosis systems for a large field of biomedicine and industrial applications. At first, a brief description on diagnosis tasks in such applications is presented. Second, diagnosis systems are presented. Third, the main steps of hybrid intelligent diagnosis systems are developed, for each step emphasizing problems and suggesting solutions able to ensure the design of hybrid intelligent diagnosis systems with a satisfactory reliability degree. In fact, the main steps discussed are knowledge representation, classification, classifier issued information fusion, and decision-making. Finally, a discussion is given with regard to the suggested methodology.
Design of a Wireless Sensor Network Based Automatic Light Controller in Theater Arts
Authors: Chuan Feng, Lizhi Yang, Jerzy W. Rozenblit, Peter Beudert
Venue: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (2007)

In this paper, an automatic lighting controller designed and built using a wireless sensor network indoor positioning technology is described. This controller can autonomously track actors during a real-time theatrical performance. Kalman filter and 3-D trilateration technologies were used with Cricket wireless sensors to implement this system. In addition, an entertainment industry standard protocol DMX-512 and an efficient calibration method were applied to realize remote computerized fixture control. As far as we know, this controller is the first application of wireless sensor networks in the theater arts area. A successful public performance concert at the University of Arizona validated the performance of the system.
Network documentation: a web-based relational database approach
Authors: Wade Warner, Rajshekhar Sunderraman
Venue: Proceedings of the 1st conference on Conference on Network Administration - Volume 1 (1999)

Every organization managing a network of computers has a need to organize, maintain, and access information related to the network. Users at various levels of the organization need quick and convenient access to this critical information at all times. We propose a methodology which is Web-based and which uses relational databases at the back end to store and organize this information. We envision that this Web-based system will be used in an intranet environment and will provide several levels of access to different user types.
Using model checking to find serious file system errors
Authors: Junfeng Yang, Paul Twohey, Dawson Engler, Madanlal Musuvathi
Venue: Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (2004)

This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring the state spaces defined by a system. File systems have two dynamics that make them attractive for such an approach. First, their errors are some of the most serious, since they can destroy persistent data and lead to unrecoverable corruption. Second, traditional testing needs an impractical, exponential number of test cases to check that the system will recover if it crashes at any point during execution. Model checking employs a variety of state-reducing techniques that allow it to explore such vast state spaces efficiently. We built a system, FiSC, for model checking file systems. We applied it to three widely-used, heavily-tested file systems: ext3 [13], JFS [21], and ReiserFS [27]. We found serious bugs in all of them, 32 in total. Most have led to patches within a day of diagnosis. For each file system, FiSC found demonstrable events leading to the unrecoverable destruction of metadata and entire directories, including the file system root directory "/".
Multi-Fingered Haptic Interface Robot Handling Plural Tool Devices
Authors: Haruhisa KAWASAKI, Tetsuya MOURI, Sho IKENOHATA, Yoshio OHTSUKA, Takahiro ENDO
Venue: Proceedings of the Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2007)

Tool-type haptic interfaces such as scissors are used to present force feeling for surgical training in virtual reality environment. Presentation of force feelings of plural tools needs to prepare many single tool-type haptic interfaces. This paper proposes newly conceptual idea for plural tool-type haptic interfaces. The proposed system consists of single tool-type haptic devices and a multi-fingered haptic interface. The system has a greater potential for the force feelings of plural tool devices than does a single tool-type interface in the view of work space, removable equipment, force control, small dimensions, and simple tool-type device. Tool-type devices, which are scissors, injector, and knife, are developed to present reactive feeling. Experimental results of cutting simulation are shown to demonstrate the effectiveness of proposed system.
Nonlinear acoustic echo cancellation with 2nd order adaptive Volterra filters
Authors: A. Stenger
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 02 (1999)

Acoustic echo cancellers in today's speakerphones or video conferencing systems rely on the assumption of a linear echo path. Low-cost audio equipment or constraints of portable communication systems cause nonlinear distortions, which limit the echo return loss enhancement achievable by linear adaptation schemes. These distortions are a super-position of different effects, which can be modelled either as memoryless nonlinearities or as nonlinear systems with memory. Proper adaptation schemes for both cases of nonlinearities are discussed. An echo canceller for nonlinear systems with memory based on an adaptive second order Volterra filter is presented. Its performance is demonstrated by measurements with small loudspeakers. The results show an improvement in the echo return loss enhancement of 7 dB over a conventional linear adaptive filter. The additional computational requirement for the presented Volterra filter is comparable to that of existing acoustic echo cancellers.
Looking to the future: women in science and engineering
Authors: B. M. Moskal
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 01 (2000)

As a result of the overall decrease in enrolment in science related fields and recent economic expansions, the United States is experiencing a shortage of trained scientists and engineers. One manner in which to increase the pool of scientists and engineers is to increase the participation of women in these fields. The purpose of this paper is discuss the progress that has been made and the issues that still need to be addressed in order to attract women to the fields of science and engineering.
A distributed adverse drug reaction detection system using intelligent agents with a fuzzy recognition-primed decision model: Research Articles
Authors: Yanqing Ji, Hao Ying, John Yen, Shizhuo Zhu, Daniel C. Barth-Jones, Richard E. Miller, R. Michael Massanari
Venue: International Journal of Intelligent Systems (2007)

Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is highly desirable. Nevertheless, current postmarketing surveillance methods largely rely on spontaneous reports that suffer from serious underreporting, latency, and inconsistent reporting. Thus these methods are not ideal for rapidly identifying rare ADRs. The multiagent systems paradigm is an emerging and effective approach to tackling distributed problems, especially when data sources and knowledge are geographically located in different places and coordination and collaboration are necessary for decision making. In this article, we propose an active, multiagent framework for early detection of ADRs by utilizing electronic patient data distributed across many different sources and locations. In this framework, intelligent agents assist a team of experts based on the well-known human decision-making model called Recognition-Primed Decision (RPD). We generalize the RPD model to a fuzzy RPD model and utilize fuzzy logic technology to not only represent, interpret, and compute imprecise and subjective cues that are commonly encountered in the ADR problem but also to retrieve prior experiences by evaluating the extent of matching between the current situation and a past experience. We describe our preliminary multiagent system design and illustrate its potential benefits for assisting expert teams in early detection of previously unknown ADRs. &copy; 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 827&ndash;845, 2007.
Embedded Systems Week
Authors: Reinaldo A. Bergamaschi
Venue: IEEE Design Test (2007)

This report discusses Embedded Systems Week 2006, which took place 22-27 October in Seoul. ESWEEK 2006 included three parallel conferences: CODES+ISSS (the International Conference on Hardware/Software Codesign and System Synthesis), EMSOFT (the International Conference on Embedded Software), and CASES (the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems). Almost 500 people attended. ESWEEK 2007 will be held in Salzburg, Austria, from 30 September to 5 October.
Autonomous Information Unit: Why Making Data Smart Can Also Make Data Secured?
Authors: Edward T. Chow
Venue: Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2006)

In this paper, we introduce a new fine-grain distributed information protection mechanism which can self-protect, self-discover, self-organize, and self-manage. In our approach, we decompose data into smaller pieces and provide individualized protection. We also provide a policy control mechanism to allow "smart" access control and context based re-assembly of the decomposed data. By combining smart policy with individually protected data, we are able to provide better protection of sensitive information and achieve more flexible access during emergency conditions. As a result, this new fine-grain protection mechanism can enable us to achieve better solutions for problems such as distributed information protection and identity theft.
Teeth And Jaw 3D Reconstrucion In Stomatology
Authors: Premysl Krsek, Michal Spanel, Petr Krupa, Ivo Marek, Pavlina Cernochov
Venue: Proceedings of the International Conference on Medical Information Visualisation - BioMedical Visualisation (2007)

The article deals with problematic of 3D tissues reconstruction in area of stomatology. 3D geometry models of teeth and jaw bones we have created based on input CT image data. The input discrete CT data have to be segmented by nearly automatic procedure with correction and verification. Creation of segmented tissue 3D geometry models is based on vectorization of input discrete data extended by smoothing and decimation. We have actually processed data for almost 40 patients ( 60 models). Created 3D models are all applied in clinical practice for planning, simulations and navigation in orthodontic and stomatology surgery treatments.
On the linear relations connecting the components of the discrete Wigner distribution in the case of real-valued signals
Authors: C. Richard
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 01 (2000)

It was shown that information conveyed by the discrete Wigner distribution is highly redundant, linear relations connecting its time-frequency components. This means that every component of the discrete Wigner distribution can be expressed as a linear combination of the elements of a basis. This set of generators consists of particular time-frequency components of the distribution. However, up to now, this basis and the associated linear map that allows to entirely generate the representation have still not been characterized. This problem is addressed in the case of real-valued signals. Results are illustrated by means of computer simulations. Finally, some extensions are pointed out.
Robust continuous collision detection for interactive deformable surfaces: Research Articles
Authors: Wingo Sai-Keung Wong, George Baciu
Venue: Computer Animation and Virtual Worlds (2007)

Collision events between 3D objects in motion in computer animations or simulations are difficult to detect due to the difficulty of accurately sampling the motion paths of objects in space and time. One approach to this problem has been continuous collision detection but because the current approaches process potentially interacting primitive pairs (PIPPs) redundantly. This is time-expensive, especially where there are a large number of PIPPs. In this paper we propose a novel collision detection process that more accurately and robustly detects collisions on simulated meshed deformable surfaces. We embed a new layer, primitive filtering layer (PFL), to extract PIPPs. This has two results. It reduces the number of PIPPs significantly and it means that each interacting primitive pair is processed just one time. Experimental results show that this approach achieves interactive rates for complex deformable surfaces with large contact regions. This is especially practical for cloth dynamics. Our method is efficient, accurate, reliable, and robust even in the presence of objects with sharp features. We also present techniques to implement the method on programmable graphics processing units (GPUs). Copyright &copy; 2007 John Wiley & Sons, Ltd.