Sciweavers

1772 search results - page 96 / 355
» The Model Coupling Toolkit
Sort
View
ICC
2007
IEEE
145views Communications» more  ICC 2007»
15 years 5 months ago
Distributed Optimization for Utility-Energy Tradeoff in Wireless Sensor Networks
Abstract— Wireless sensor networks (WSNs) are energyconstrained in nature, in this paper, we formulate the problem of data transport in sensor networks as a network utility maxim...
Shengbin Liao, Wenqing Cheng, Wei Liu, Zongkai Yan...
ASPDAC
2001
ACM
68views Hardware» more  ASPDAC 2001»
15 years 2 months ago
Reducing bus delay in submicron technology using coding
ct,. In this paper we study the delay associated with transmission of data through busses. Previous work in this area has presented models for delay assuming a distributed wire mqd...
Paul-Peter Sotiriadis, Anantha Chandrakasan
ISCAS
2005
IEEE
159views Hardware» more  ISCAS 2005»
15 years 4 months ago
A Fourier series-based RLC interconnect model for periodic signals
— Based on a Fourier series analysis, an analytic interconnect model is presented which is suitable for periodic signals, such as a clock signal. In this model, the far end time ...
Guoqing Chen, Eby G. Friedman
ENTCS
2007
109views more  ENTCS 2007»
14 years 11 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier
BC
2007
62views more  BC 2007»
14 years 11 months ago
A quantitative synchronization model for smooth pursuit target tracking
We propose a quantitative model for human smooth pursuit tracking of a continuously moving visual target which is based on synchronization of an internal expectancy model of the ta...
Henning U. Voss, Bruce D. McCandliss, Jamshid Ghaj...