Timing models for high-level synthesis

In this paper, we describe a timing model for clock estimation during high-level synthesis. In order to obtain realistic timing estimates, the proposed model considers all delay elements, including datapath, control and wire delays, and several technology factors, such as layout architecture, technology mapping, buffers insertion and loading effects. The experimental results show that this model can provide much better estimates than previous models. This model is well suited for automatic and interactive synthesis as well as feedback-driven synthesis where performance matrices must be rapidly and incrementally calculated

EET Senior Design Project - IMS Dynamic Display

Indiana University Purdue University IndianapolisThe Indianapolis Motor Speedway Museum has a display transmission that is still actively used in IndyCar today. The museum wants to incorporate this transmission into an interactive display, so guests of all ages can see internal gears spin as well as see the transmission shift between its gears. This project includes mechanical and electrical engineering technology students working together to mount wire motors and sensors. The transmission will have a user-friendly interface allowing the guests to change gears and to turn the transmission on and off. The transmission will be driven by a 24V DC motor and uses a 24V DC linear actuator to rotate a barrel cam to change the position of the forks, allowing the gears to get shifted up and down. A metal enclosure houses the electrical components that provide power and control to the system. The outcome of this project is a failsafe and robust system that will operate within the IMS Museum while being continually updated.Electrical Engineering Technolog

Memoization for Unary Logic Programming: Characterizing PTIME

We give a characterization of deterministic polynomial time computation based on an algebraic structure called the resolution semiring, whose elements can be understood as logic programs or sets of rewriting rules over first-order terms. More precisely, we study the restriction of this framework to terms (and logic programs, rewriting rules) using only unary symbols. We prove it is complete for polynomial time computation, using an encoding of pushdown automata. We then introduce an algebraic counterpart of the memoization technique in order to show its PTIME soundness. We finally relate our approach and complexity results to complexity of logic programming. As an application of our techniques, we show a PTIME-completeness result for a class of logic programming queries which use only unary function symbols.Comment: Soumis {\`a} LICS 201

Digital Signage: An Affordable Solution

A web developer / graphics designer from the University of Minnesota, Duluth will share information about a digital sign created for the entrance to the University of Minnesota Duluth Library. A digital sign is a type of dynamic billboard or poster that can be a single screen or a network of screens that can beremotely updated over the internet. The UMD Library runs their system on an in-house Linux server using the free open source XIBO (pronounced eX-E-bO) client/server solution. The visuals are designed in Photoshop CS3 and Powerpoint 2007, displayed on a 52 LCD TV. It has greatly streamlined getting out announcements in a timely manner in a high-traffic area and has helped to promote our various services. The poster session will include photos, screenshots, handouts, and contact information. A video of the digital sign in action can be seen at http://www.d.umn.edu/lib/digitalsign/. ABOUT THE PRESENTER: Doreen Hansen is the Web Developer and Graphics Designer at the University of Minnesota Duluth Librarie

Conventions and mutual expectations — understanding sources for web genres

Genres can be understood in many different ways. They are often perceived as a primarily sociological construction, or, alternatively, as a stylostatistically observable objective characteristic of texts. The latter view is more common in the research field of information and language technology. These two views can be quite compatible and can inform each other; this present investigation discusses knowledge sources for studying genre variation and change by observing reader and author behaviour rather than performing analyses on the information objects themselves

The chromatin remodeling factor Bap55 functions through the TIP60 complex to regulate olfactory projection neuron dendrite targeting

<p>Abstract</p> <p>Background</p> <p>The <it>Drosophila </it>olfactory system exhibits very precise and stereotyped wiring that is specified predominantly by genetic programming. Dendrites of olfactory projection neurons (PNs) pattern the developing antennal lobe before olfactory receptor neuron axon arrival, indicating an intrinsic wiring mechanism for PN dendrites. These wiring decisions are likely determined through a transcriptional program.</p> <p>Results</p> <p>We find that loss of Brahma associated protein 55 kD (Bap55) results in a highly specific PN mistargeting phenotype. In <it>Bap55 </it>mutants, PNs that normally target to the DL1 glomerulus mistarget to the DA4l glomerulus with 100% penetrance. Loss of Bap55 also causes derepression of a GAL4 whose expression is normally restricted to a small subset of PNs. Bap55 is a member of both the Brahma (BRM) and the Tat interactive protein 60 kD (TIP60) ATP-dependent chromatin remodeling complexes. The <it>Bap55 </it>mutant phenotype is partially recapitulated by Domino and Enhancer of Polycomb mutants, members of the TIP60 complex. However, distinct phenotypes are seen in Brahma and Snf5-related 1 mutants, members of the BRM complex. The <it>Bap55 </it>mutant phenotype can be rescued by postmitotic expression of Bap55, or its human homologs BAF53a and BAF53b.</p> <p>Conclusions</p> <p>Our results suggest that Bap55 functions through the TIP60 chromatin remodeling complex to regulate dendrite wiring specificity in PNs. The specificity of the mutant phenotypes suggests a position for the TIP60 complex at the top of a regulatory hierarchy that orchestrates dendrite targeting decisions.</p

Virtual Office Design For The Effectiveness Of Web_based Office Administration Works

Virtual Office is the science of information technology which is a new thing for some people. The word of virtual has a meaning of visible or tangible, it means that in the future an office is intangible because it will be replaced by a system which is specifically designed to replace the role of office by applying web -based computer programming. Nowdays, Offices have been applied are still using a certain place with a wide range of file and requiring a storage cabinet. These issues triggered the researcher tried to design a virtual office with a concept which is able to handle a variety of problems, ranging from archival storage , searching the archives , phone , video conference , sending letters, categorizing archives and saving faculty and staff data. These concepts developed by the researcher offered well organized data that all files or all archives of administrative office tucked neatly away in a database in well organizing so it made easier in searching a spesific archive. The final objective of the research is the improvement of the workers’ performance because it will shorten the time to manage archives or files. Manufacture of incoming mail, outgoing mail, disposition and also numbering letters will be arranged neatly, thus will increase the effectiveness of a worker. (Abstract