Sciweavers

6800 search results - page 275 / 1360
» Testing with Functions as Specifications
Sort
View
DATE
2005
IEEE
116views Hardware» more  DATE 2005»
15 years 12 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
COMPSAC
2007
IEEE
15 years 10 months ago
A Component Model for the AUTOSAR Virtual Function Bus
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
Dietmar Schreiner, Karl M. Göschka
ASSETS
2006
ACM
15 years 10 months ago
Indoor wayfinding: : developing a functional interface for individuals with cognitive impairments
Assistive technology for wayfinding will significantly improve the quality of life for many individuals with cognitive impairments. The user interface of such a system is as cruci...
Alan L. Liu, Harlan Hile, Henry A. Kautz, Gaetano ...
166
Voted
PACS
2000
Springer
118views Hardware» more  PACS 2000»
15 years 9 months ago
Ramp Up/Down Functional Unit to Reduce Step Power
Because the inductive noise Ldi/dt is induced by the power change and can have disastrous impact on the timing and reliability of the system, high-performance CPU designs are more ...
Zhenyu Tang, Norman Chang, Shen Lin, Weize Xie, O....
ESWS
2008
Springer
15 years 8 months ago
A Functional Semantic Web Architecture
A layered architecture for the Semantic Web that adheres to software engineering principles and the fundamental aspects of layered architectures will assist in the development of S...
Aurona Gerber, Alta van der Merwe, Andries Barnard