195 search results - page 23 / 39 » Static Analysis of Dynamic Communication Systems by Partner ... |
ISCC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—With the increasing deployment of wireless technologies, such as WLAN, HSDPA, and WiMAX, it is often the case that simultaneous coverage of several access networks is av...
TACS
1994
Springer
15 years 1 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— The performance analysis of a system employing coordinate interleaving and constellation rotation, over Nakagamim fading channels, in the presence of phase noise as wel...
COSPS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
CCR
2004
14 years 9 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...