Sciweavers

1301 search results - page 152 / 261
» Specifications via Realizability
Sort
View
PERCOM
2005
ACM
14 years 9 months ago
REDMAN: A Decentralized Middleware Solution for Cooperative Replication in Dense MANETs
The mass market of wireless devices is pushing towards service provisioning over dense Mobile Ad-hoc NETworks (MANETs), i.e., limited spatial regions, such as university campuses,...
Paolo Bellavista, Antonio Corradi, Eugenio Magistr...
ICCAD
2003
IEEE
124views Hardware» more  ICCAD 2003»
14 years 7 months ago
Gradual Relaxation Techniques with Applications to Behavioral Synthesis
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
Zhiru Zhang, Yiping Fan, Miodrag Potkonjak, Jason ...
ACHI
2009
IEEE
14 years 5 months ago
Nervixxx: A Video Performance System with Neural Interfaces
Nervixxx introduces neural computing to overcome the limit of conventional performance systems1 that uses tangible computing and physical computing. Specifically, we utilized the ...
Satoru Tokuhisa
ACHI
2009
IEEE
14 years 5 months ago
A Structured Approach to Support 3D User Interface Development
— Given its current state of the art, Model-Based UI Development (MBDUI) is able to fulfill the major requirements of desktop and mobile applications, such as form-based user int...
Juan Manuel González-Calleros, Jean Vanderd...
ISCAS
2007
IEEE
105views Hardware» more  ISCAS 2007»
14 years 4 months ago
Parallel current-steering D/A Converters for Flexibility and Smartness
—This paper presents a DAC architecture built on parallel current-steering sub-DAC entities. Two main novelties are explored: flexibility and smartness. Firstly, a number of avai...
Georgi I. Radulov, Patrick J. Quinn, Pieter Harpe,...