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...
— 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 ...
—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...
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...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...
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...