Sciweavers

5355 search results - page 151 / 1071
» Modules
Sort
View
ICC
1997
IEEE
15 years 10 months ago
Effect of Average Power Estimation Error on Adaptive MQAM Modulation
Andrea J. Goldsmith, Larry J. Greenstein
TAGT
1998
Springer
289views Graph Theory» more  TAGT 1998»
15 years 10 months ago
Simple Modules for GRACE
Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sa...
LICS
1996
IEEE
15 years 10 months ago
Reactive Modules
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
Rajeev Alur, Thomas A. Henzinger