Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
- Publication
- Publication Type
Articles 1 - 4 of 4
Full-Text Articles in Computer Engineering
Script-Based Qos Specifications For Multimedia Presentations, Richard Staehli, Jonathan Walpole
Script-Based Qos Specifications For Multimedia Presentations, Richard Staehli, Jonathan Walpole
Computer Science Faculty Publications and Presentations
Multimedia presentations can convey information not only by the sequence of events but by their timing. The correctness of such presentations thus depends on the timing of events as well as their sequence and content. This paper introduces a formal specification language for playback of real-time presentations. The main contribution of this language is a quality of service (QOS) specification that relaxes resolution and synchronization requirements for playback. Our definitions give a precise meaning to the correctness of a presentation. This specification language will form the basis for a QOS interface for reservation of operating system resources.
A Systolic Simulation And Transformation System, Ronald I. Greenberg, H.-C. Oh
A Systolic Simulation And Transformation System, Ronald I. Greenberg, H.-C. Oh
Computer Science: Faculty Publications and Other Works
This paper presents a CAD tool, SystSim, to ease the design of systolic systems. Given a high-level, functional description of processors, and a high-level description of their interconnection, SystSim will perform simulations and provide graphical output. SystSim will also perform transformations such as retiming, which eases use of the methodology of Leiserson and Saxe of designing a system with broadcasting and then obtaining a systolic system through retiming.
Computer Model For Predicting Aids Among Intravenous Drug Users, Daniel Berleant, R. Ron Goforth, Jun Yuan
Computer Model For Predicting Aids Among Intravenous Drug Users, Daniel Berleant, R. Ron Goforth, Jun Yuan
Journal of the Arkansas Academy of Science
Intravenous drug abuse (IVDA) is an important cause of HIV transmission. Computer simulation is one way to understand and predict the spread of HIV infection among IVDAs. We design and simulate HIV infection among IVDAs and the impact of AIDS on this community, and thereby predict future IVDA population, HIV levels, AIDS levels, and AIDS deaths in this group. The HIV to AIDS, and AIDS to Death latencies are described by probability density functions (PDFs) in this model. Factors such as the recruit, quit, and normal death rate of IVDAs, are considered, as well as the infection and removal rates …
A Study Of Dynamic Optimization Techniques: Lessons And Directions In Kernel Design, Calton Pu, Jonathan Walpole
A Study Of Dynamic Optimization Techniques: Lessons And Directions In Kernel Design, Calton Pu, Jonathan Walpole
Computer Science Faculty Publications and Presentations
The Synthesis kernel [21,22,23,27,28] showed that dynamic code generation, software feedback, and fine-grain modular kernel organization are useful implementation techniques for improving the performance of operating system kernels. In addition, and perhaps more importantly, we discovered that there are strong interactions between the techniques. Hence, a careful and systematic combination of the techniques can be very powerful even though each one by itself may have serious limitations. By identifying these interactions we illustrate the problems of applying each technique in isolation to existing kernels. We also highlight the important common under-pinnings of the Synthesis experience and present our ideas on …