Sciweavers

1456 search results - page 246 / 292
» DYANA: An Environment for Embedded System Design and Analysi...
Sort
View
IESS
2007
Springer
165views Hardware» more  IESS 2007»
16 years 13 days ago
Data Reuse Driven Memory and Network-On-Chip Co-Synthesis
NoCs present a possible communication infrastructure solution to deal with increased design complexity and shrinking time-to-market. The communication infrastructure is a signific...
Ilya Issenin, Nikil Dutt
CHI
2009
ACM
16 years 6 months ago
PenLight: combining a mobile projector and a digital pen for dynamic visual overlay
Digital pen systems, originally designed to digitize annotations made on physical paper, are evolving to permit a wider variety of applications. Although the type and quality of p...
Hyunyoung Song, Tovi Grossman, George W. Fitzmauri...
HAPTICS
2003
IEEE
15 years 11 months ago
The Effect of Sensor/Actuator Asymmetries in Haptic Interfaces
Haptic interfaces enable us to interact with virtual objects by sensing our actions and communicating them to a virtual environment. A haptic interface with force feedback capabil...
Federico Barbagli, John Kenneth Salisbury Jr.
KBSE
2000
IEEE
15 years 10 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
IAT
2008
IEEE
16 years 22 days ago
Multiagent Technology Solutions for Planning in Ambient Intelligence
In presence of reconfigurable environments, such as AmI systems, the orchestration and coordination of more devices involved in the execution of services requested by users is of...
Nicola Gatti, Francesco Amigoni, Marco Rolando