819 search results - page 80 / 164 » Fractal symbolic analysis |
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— We analyze the user capacity of downlink CDMA systems with quasi-orthogonal sequences(QOSs) considering various system parameters, such as user activity, spreading factor, the ...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
—In this paper, by using the moment generating function (MGF) method, we derived the exact symbol error rate (SER) of multiple-input multiple-output (MIMO) system with transmit-a...
RTSS
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
CAV
2000
Springer
14 years 11 days ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...