Sciweavers

770 search results - page 14 / 154
» Abstract Yourself With Modules
Sort
View
166
Voted
TWC
2008
103views more  TWC 2008»
15 years 2 months ago
Exact BER analysis for M-QAM modulation with transmit beamforming under channel prediction errors
Abstract--Significant throughput improvements can be obtained in multiple-input multiple-output (MIMO) fading channels by merging beamforming at the transmitter and maximal ratio c...
Eduardo Martos-Naya, José F. Paris, Unai Fe...
SIAMCO
2000
164views more  SIAMCO 2000»
15 years 2 months ago
(C, A)-Invariance of Modules over Principal Ideal Domains
Abstract. For discrete-time linear systems over a principal ideal domain, three types of (C, A)invariance can be distinguished. Connections between these notions are investigated. ...
Naoharu Ito, Wiland Schmale, Harald K. Wimmer
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
15 years 11 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer
DAC
1994
ACM
15 years 7 months ago
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
Gjalt G. de Jong, Bill Lin
ICFP
2005
ACM
16 years 2 months ago
Type inference, principal typings, and let-polymorphism for first-class mixin modules
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
Henning Makholm, J. B. Wells