137
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
134
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
A large number of network applications today allow several users to interact together using the many-to-many service mode. A many-to-many session consists of group of users (we ref...
102
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Characterizing the number and type of transmitters occupying a given frequency band is a critical aspect of spectrum sensing specifically and cognitive radio generally. We present ...
149
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...