Sciweavers

5830 search results - page 104 / 1166
» Automatic link generation
Sort
View
DATE
2005
IEEE
116views Hardware» more  DATE 2005»
15 years 10 months ago
FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
Ilya Issenin, Nikil D. Dutt
HASE
2005
IEEE
15 years 10 months ago
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
Gergely Pintér, István Majzik
ISM
2005
IEEE
112views Multimedia» more  ISM 2005»
15 years 10 months ago
Automatically Generating User Interfaces for Device Federations
One of the ideas of ubiquitous computing is that computing resources should be embedded ubiquitously in the environment, making them available to any nearby users. Some researcher...
Elmar Braun, Max Mühlhäuser