Sciweavers

2483 search results - page 82 / 497
» A design framework to model retinas
Sort
View
DAC
2001
ACM
15 years 10 months ago
A Framework for Object Oriented Hardware Specification, Verification, and Synthesis
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
Tommy Kuhn, Tobias Oppold, Markus Winterholer, Wol...
BCSHCI
2008
14 years 11 months ago
Human-centric framework for perceptually adaptive interfaces
Multimodal interfaces have long held the promise of enhanced and effective human machine interaction. The ultimate goal of multimodal interfaces is to facilitate human activity al...
Priyamvada Tripathi
DAC
2012
ACM
13 years 7 days ago
An information-theoretic framework for optimal temperature sensor allocation and full-chip thermal monitoring
Full-chip thermal monitoring is an important and challenging issue in today’s microprocessor design. In this paper, we propose a new information-theoretic framework to quantitat...
Huapeng Zhou, Xin Li, Chen-Yong Cher, Eren Kursun,...
SOCIALCOM
2010
14 years 7 months ago
Secure Wireless Embedded Systems Via Component-based Design
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
Theis Hjorth, Rune Torbensen
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 3 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...