Sciweavers

770 search results - page 14 / 154
» Abstract Yourself With Modules
Sort
View
141
Voted
TWC
2008
103views more  TWC 2008»
15 years 8 days 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...
115
Voted
SIAMCO
2000
164views more  SIAMCO 2000»
15 years 5 days 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
156
Voted
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
15 years 9 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
117
Voted
DAC
1994
ACM
15 years 4 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
108
Voted
ICFP
2005
ACM
16 years 11 days 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