Sciweavers

4245 search results - page 80 / 849
» Input Modeling
Sort
View
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 5 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
ISCAS
2002
IEEE
95views Hardware» more  ISCAS 2002»
15 years 4 months ago
A differential DAC architecture with variable common-mode level
A differential current-steering digital-to-analog converter (DAC) architecture allowing the common-mode level of the input signal to be varied is presented. Simulation results wit...
K. Ola Andersson, N. U. Andersson, Mark Vesterback...
LSMS
2007
Springer
15 years 6 months ago
A Simulation Study on the Encoding Mechanism of Retinal Ganglion Cell
Understanding how the retina encodes visual information is a key issue for the development of a retinal prosthesis. To study this issue, the neural retina is modeled as a retina mo...
Chao-Feng Cai, Pei-Ji Liang, Pu-Ming Zhang
ACL
2003
15 years 1 months ago
Towards Interactive Text Understanding
This position paper argues for an interactive approach to text understanding. The proposed model extends an existing semantics-based text authoring system by using the input text ...
Marc Dymetman, Aurélien Max, Kenji Yamada
TVLSI
1998
89views more  TVLSI 1998»
14 years 11 months ago
Robust RTL power macromodels
—In this paper, we propose a robust register-transfer level (RTL) power modeling methodology for functional units. Our models are consistently accurate over a wide range of input...
Alessandro Bogliolo, Luca Benini