Search results for "WSA"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Rohit U. Nabar, Helmut Bölcskei, Arogyaswami Paulraj	Diversity performance of Ricean MIMO channels.	WSA	2004	DBLP DOI BibTeX RDF
1	Ayman Abdel-Samad, Alex B. Gershman, Timothy N. Davidson	Robust transmit eigen-beamforming based on imperfect channel state information.	WSA	2004	DBLP DOI BibTeX RDF
1	Mohammad Gharavi-Alkhansari, Alex B. Gershman, Martin Haardt	Exact error probability analysis of orthogonal space-time block codes over correlated Rician fading channels.	WSA	2004	DBLP DOI BibTeX RDF
1	Guido Dietl, Michael Joham, Philipp Kreuter, Johannes Brehmer, Wolfgang Utschick	A Krylov subspace multistage decomposition of the transmit Wiener filter.	WSA	2004	DBLP DOI BibTeX RDF
1	Ansgar Scherb, Volker Kühn 0001, Karl-Dirk Kammeyer	Deterministic and Monte Carlo approaches for joint iterative data detection and channel estimation.	WSA	2004	DBLP DOI BibTeX RDF
1	Christian Schneider 0003, Marcus Großmann, Reiner S. Thomä	Performance of antenna variable modulation for turbo MIMO transmission in frequency-selective channels.	WSA	2004	DBLP DOI BibTeX RDF
1	Joachim Wehinger, Christoph F. Mecklenbräuker, Steffen Paul, Florian Kaltenberger	Two-stage space-time receiver for UMTS frequency division duplex.	WSA	2004	DBLP DOI BibTeX RDF
1	W. Weichselberger	On the decomposition of the MIMO channel correlation tensor.	WSA	2004	DBLP DOI BibTeX RDF
1	Andrei Szabo, Norbert Gengf, Axel Klein, Ingo Viering, Josef A. Nossek	On the performance of fast feedback and link adaptation for MIMO eigenbeamforming in cellular systems.	WSA	2004	DBLP DOI BibTeX RDF
1	Giovanni Del Galdo, Marko Milojevic, Martin Haardt, Marko Hennhöfer	Efficient channel modelling for frequency selective MIMO channels.	WSA	2004	DBLP DOI BibTeX RDF
1	Frank Fröhlich, Utz Martin	Frequency-domain MIMO interference cancellation technique for space-time block-coded single-carrier systems.	WSA	2004	DBLP DOI BibTeX RDF
1	Eduard A. Jorswieck, Holger Boche, Martin Schubert	Analysis of multiuser MIMO systems with MMSE receiver based on worst case noise.	WSA	2004	DBLP DOI BibTeX RDF
1	A. Jeffries, W. Tong, C. Ward	A high spectral efficiency broadband mobile radio access system.	WSA	2004	DBLP DOI BibTeX RDF
1	Tobias J. Oechtering, Aydin Sezgin	A new cooperative transmission scheme using the space-time delay code.	WSA	2004	DBLP DOI BibTeX RDF
1	Karim M. Nasr, Fumie Costen, Stephen K. Barton	On the interpolation of the weights of an OFDM-MMSE smart antenna for an infrastructure WLAN in arbitrary indoor environments.	WSA	2004	DBLP DOI BibTeX RDF
1	Marcello Cicerone, Osvaldo Simeone, Norbert Geng, Umberto Spagnolini	Modal analysis/filtering to estimate time-varying MIMO-OFDM channels.	WSA	2004	DBLP DOI BibTeX RDF
1	Wojciech Kuropatwinski, Frank Lillie, Norbert Geng, Friedrich K. Jondral	Low-cost MIMO real-time demonstrator: concept and first results.	WSA	2004	DBLP DOI BibTeX RDF
1	H. Hofstetter, G. Steinbock	A geometry based stochastic channel model for MIMO systems.	WSA	2004	DBLP DOI BibTeX RDF
1	S. A. Razavi	Full-diversity rate-(near) one space-time block codes at linear decoding complexity for quasistatic fading channels.	WSA	2004	DBLP DOI BibTeX RDF
1	Michel T. Ivrlac, Josef A. Nossek	Cross layer optimization - an equivalence class approach.	WSA	2004	DBLP DOI BibTeX RDF
1	Raphael Hunger, Frank A. Dietrich, Michael Joham, Wolfgang Utschick	Robust transmit zero-forcing filters.	WSA	2004	DBLP DOI BibTeX RDF
1	John S. Thompson	Antenna array performance with channel estimation errors.	WSA	2004	DBLP DOI BibTeX RDF
1	Thomas Fügen, Christiane Kuhnert, Jürgen Maurer, Werner Wiesbeck	Performance of multiuser MIMO systems under realistic propagation conditions.	WSA	2004	DBLP DOI BibTeX RDF
1	Michael Joham, Johannes Brehmer, Andreas Voulgarelis, Wolfgang Utschick	Multiuser spatio-temporal Tomlinson-Harashima precoding for frequency selective vector channels.	WSA	2004	DBLP DOI BibTeX RDF
1	Melanie Witzke	Iterative detection of linear-dispersion codes.	WSA	2004	DBLP DOI BibTeX RDF
1	Svante Bergman, Cristoff Martin, Björn E. Ottersten	Bit and power loading for spatial multiplexing using partial channel state information.	WSA	2004	DBLP DOI BibTeX RDF
1	Matthias Stege, Frank Schäfer, Matthias Henker, Gerhard P. Fettweis	Hardware in a loop-a system prototyping platform for MIMO-approaches.	WSA	2004	DBLP DOI BibTeX RDF
1	Mario Kießling, Joachim Speidel, Markus Reinhardt	Ergodic capacity of MIMO channels with statistical channel state information at the transmitter.	WSA	2004	DBLP DOI BibTeX RDF
1	Jan Mietzner, J. Eick, Peter Adam Höher	On distributed space-time coding techniques for cooperative wireless networks and their sensitivity to frequency offsets.	WSA	2004	DBLP DOI BibTeX RDF
1	Christian Waldschmidt, Christiane Kuhnert	On the integration of MIMO systems into handheld devices.	WSA	2004	DBLP DOI BibTeX RDF
1	Peter Van Roy	Challenges in Developing Useful and Practical Static Analysis for Logic Programs.	WSA	1993	DBLP DOI BibTeX RDF
1	Wei-Ngan Chin, Siau-Cheng Khoo	Tupling Functions with Multiple Recursion Parameters.	WSA	1993	DBLP DOI BibTeX RDF
1	Jean-Claude Fernandez	Abstract Interpretation and Verification of Reactive Systems.	WSA	1993	DBLP DOI BibTeX RDF
1	David A. Wright 0001, Clement A. Baker-Finch	Usage Analysis with Natural Reduction Types.	WSA	1993	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	Avoiding Repeated Tests in Pattern Matching.	WSA	1993	DBLP DOI BibTeX RDF
1	Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (eds.)	Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings	WSA	1993	DBLP DOI BibTeX RDF
1	Olivier Maffeïs, Paul Le Guernic	Combining Dependability with Architectural Adatability by Means of the SIGNAL Language.	WSA	1993	DBLP DOI BibTeX RDF
1	Maurice Bruynooghe, Michael Codish	Freeness, Sharing, Linearity and Correctness - All at Once.	WSA	1993	DBLP DOI BibTeX RDF
1	Régis Cridlig, Eric Goubault	Semantics and Analysis of Linda-Based Languages.	WSA	1993	DBLP DOI BibTeX RDF
1	Alex Ferguson, John Hughes 0001	Fast Abstract Interpretation Using Sequential Algorithms.	WSA	1993	DBLP DOI BibTeX RDF
1	Johan Boye, Jukka Paakki, Jan Maluszynski	Synthesis of Directionality Information for Functional Logic Programs.	WSA	1993	DBLP DOI BibTeX RDF
1	P. N. Benton	Strictness Properties of Lazy Algebraic Datatypes.	WSA	1993	DBLP DOI BibTeX RDF
1	Niels Jørgensen	Chaotic Fixpoint Iteration Guided by Dynamic Dependency.	WSA	1993	DBLP DOI BibTeX RDF
1	Bruno Monsuez	Polymorphic Types and Widening Operators.	WSA	1993	DBLP DOI BibTeX RDF
1	Robert Glück, Andrei V. Klimov	Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree.	WSA	1993	DBLP DOI BibTeX RDF
1	Jean-Pierre Talpin, Pierre Jouvelot	Compiling FX on the CM-2.	WSA	1993	DBLP DOI BibTeX RDF
1	Paul Hudak	Reflections on Program Optimization.	WSA	1993	DBLP DOI BibTeX RDF
1	Lindsay Errington, Chris Hankin, Thomas P. Jensen	A Congruence for Gamma Programs.	WSA	1993	DBLP DOI BibTeX RDF
1	Shohei Kato, Hirohisa Seki, Hidenori Itoh	An Efficient Abductive Reasoning System Based on Program Analysis.	WSA	1993	DBLP DOI BibTeX RDF
1	Didier Bert, Rachid Echahed, Bjarte M. Østvold	Abstract Rewriting.	WSA	1993	DBLP DOI BibTeX RDF
1	Torben Amtoft	Minimal Thunkification.	WSA	1993	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson	Finiteness Conditions for Strictness Analysis.	WSA	1993	DBLP DOI BibTeX RDF
1	Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck	Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog.	WSA	1993	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel	The Impact of Granularity in Abstract Interpretation of Prolog.	WSA	1993	DBLP DOI BibTeX RDF
1	Dan Sahlin, Thomas Sjöland	Demonstration: Static Analysis of AKL.	WSA	1993	DBLP DOI BibTeX RDF
1	Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi	Static Analysis of CLP Programs over Numeric Domains.	WSA	1992	DBLP BibTeX RDF
1	Baudouin Le Charlier, Pascal Van Hentenryck	On the Design of Generic Abstract Interpretation Frameworks.	WSA	1992	DBLP BibTeX RDF
1	John P. Gallagher	Static Analysis for Logic Program Specification.	WSA	1992	DBLP BibTeX RDF
1	Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough	Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.	WSA	1992	DBLP BibTeX RDF
1	Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy (eds.)	Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings	WSA	1992	DBLP BibTeX RDF
1	Kirsten Lackner Solberg, Hanne Riis Nielson, Flemming Nielson	Inference Systems for Binding Time Analysis.	WSA	1992	DBLP BibTeX RDF
1	Jean-Louis Giavitto, Jean-Paul Sansonnet, Olivier Michel 0001	Inférer rapidement la géométrie des collections.	WSA	1992	DBLP BibTeX RDF
1	Thomas P. Jensen	Axiomatising Uniform Properties of Recursive Data Structures.	WSA	1992	DBLP BibTeX RDF
1	Christian Queinnec	Value Transforming Style.	WSA	1992	DBLP BibTeX RDF
1	Alan Mycroft, Mads Rosendahl	Minimal Function Graphs are not Instrumented.	WSA	1992	DBLP BibTeX RDF
1	Chris Hankin, Daniel Le Métayer, David Sands 0001	Transformation of Gamma Programs.	WSA	1992	DBLP BibTeX RDF
1	Tadashi Araragi	Program Transformation in a Nonmonotonic Reasoning System.	WSA	1992	DBLP BibTeX RDF
1	Michael Hanus	An Abstract Interpretation Algorithm for Residuating Logic Programs.	WSA	1992	DBLP BibTeX RDF
1	Young Gil Park, Benjamin Goldberg	Order-of-Demand Analysis for Lazy Languages.	WSA	1992	DBLP BibTeX RDF
1	Anne Parrain, Philippe Devienne, Patrick Lebègue	Towards Optimization of Full Prolog Programs guided by Abstract Interpretation.	WSA	1992	DBLP BibTeX RDF
1	Matthijs F. Kuiper	Speeding Up Parallelism Detection for Attribute Grammars.	WSA	1992	DBLP BibTeX RDF
1	Geoff W. Hamilton	Sharing Analysis of Lazy First-Order Functional Programs.	WSA	1992	DBLP BibTeX RDF
1	Denis Béchet	Partial Evaluation of Interaction Nets.	WSA	1992	DBLP BibTeX RDF
1	Christian Queinnec, P. Geffroy	Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack.	WSA	1992	DBLP BibTeX RDF
1	Yamine Aït Ameur, Patrice Cros, Juan José Falcón, Alicia Gómez	An Application of Abstract Interpretation to Floating Point Arithmetic.	WSA	1992	DBLP BibTeX RDF
1	Fosca Giannotti, Diego Latella	Using Abstract Interpretation for Gate splitting in LOTOS Specifications.	WSA	1992	DBLP BibTeX RDF
1	Maria J. García de la Banda, Manuel V. Hermenegildo	A Practical Application of Sharing and Freeness Inference.	WSA	1992	DBLP BibTeX RDF
1	Yan Mei Tang, Pierre Jouvelot	Control-Flow Effects for Escape Analysis.	WSA	1992	DBLP BibTeX RDF
1	Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier	Weighted Systems Revisited.	WSA	1992	DBLP BibTeX RDF
1	Olivier Danvy, John Hatcliff	Thunks (Continued).	WSA	1992	DBLP BibTeX RDF
1	Frédéric Mesnard, Marianne Morillon	Automatic Generation of Valid Linear Measures for CLP(Q) Programs.	WSA	1992	DBLP BibTeX RDF
1	Giuseppe Amato 0001, Fosca Giannotti, Gianni Mainetto	Analysis of Concurrent Transactions in a Functional Database Programming Language.	WSA	1992	DBLP BibTeX RDF
1	A. E. Ayers	Efficient Closure Analysis with Reachability.	WSA	1992	DBLP BibTeX RDF
1	Bernard P. Serpette	Approximations d'évaluateurs fonctionnels.	WSA	1992	DBLP BibTeX RDF
1	Bruno Monsuez	Fractional Types.	WSA	1992	DBLP BibTeX RDF
1	Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy	The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.	WSA	1992	DBLP BibTeX RDF
1	Marc Gengler, M. Rytz	A Polyvariant Binding Time Analysis Handling Partially Known Values.	WSA	1992	DBLP BibTeX RDF
1	Clement A. Baker-Finch	Relevant Logic and Strictness Analysis.	WSA	1992	DBLP BibTeX RDF
1	Paul Y. Gloess, Yan-Nong Huang, Chumin Li, Miguel-Angel Oros	On Boolean Feature Types.	WSA	1992	DBLP BibTeX RDF
1	E. Saint-James	Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines.	WSA	1992	DBLP BibTeX RDF
1	Peter T. Breuer, Jonathan P. Bowen	Decompilation is the Efficient Enumeration of Types.	WSA	1992	DBLP BibTeX RDF

Publications at "WSA"( http://dblp.L3S.de/Venues/WSA )