147 search results - page 10 / 30 » Model-based Systems Analysis Using CSIM18 |
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We consider multicell multiuser MIMO systems with a very large number of antennas at the base station. We assume that the channel is estimated by using uplink training sequences, ...
HASE
1999
IEEE
13 years 11 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
DALT
2007
Springer
14 years 1 months ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
P2P
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...