This paper describes an approach for adaptive dynamic instruction set extension, tuning embedded processors to specific applications which are going to be executed in their life-time. These new instructions are generated after production. The processor has two modes: training mode and normal mode. Training mode can be done offline or online. The applicationspecific instructions are extracted fr...

This paper presents an environment that supports the production of instructions, exploiting methodologies and technologies from Human-Computer-Interaction, Natural Language Processing and Software Engineering. In this environment, instructions are automatically generated from task models. The environment includes an interactive tool to build task models, an extensible set of knowledge acquisiti...

Database systems tend to achieve only low IPC (instructions-per-cycle) efficiency on modern CPUs in compute-intensive application areas like decision support, OLAP and multimedia retrieval. This paper starts with an in-depth investigation to the reason why this happens, focusing on the TPC-H benchmark. Our analysis of various relational systems and MonetDB leads us to a new set of guidelines fo...

This paper addresses the problem of incorporating cognitively salient landmarks in computer-generated navigation instructions. Based on a review of the existing literature in the domain of navigation with landmarks, the paper develops algorithms for generating routing instructions that include references to landmarks. The most basic algorithm uses a new weighting model to annotate simple routes...

This paper describes a self-tuning architecture that dynamically adjusts the frequency of the processor to run at the highest speed it can sustain without causing errors. This frequency is determined through dynamic verification, an online error checking technique that uses a second, simpler processor to redundantly execute instructions, detecting both design errors and transient faults.

Level of Evidence IV This journal requires that authors assign a level evidence to each article. For full description these Evidence-Based Medicine ratings, please refer the Table Contents or online Instructions Authors www.springer.com/00266 .

In this ISR the Proposal Instructions for the NICMOS Science Instrument are described. This report discusses the possible SI configurations, modes, and most of the optional parameters. The optional parameters which support the creation and association of patterns of exposures are discussed in a companion ISR (NICMOS-013).