Sciweavers

7526 search results - page 279 / 1506
» The Design and Implementation of the A2QM3 System
Sort
View
GLVLSI
2009
IEEE
154views VLSI» more  GLVLSI 2009»
16 years 1 months ago
Design of a maximum-likelihood detector for cooperative communications in intersymbol interference channels
Recently, cooperative communication has attracted a lot of attention for its potential to increase spatial diversity. However, limited attention has been paid to the physical laye...
Yanjie Peng, Andrew G. Klein, Xinming Huang
EDBT
1998
ACM
119views Database» more  EDBT 1998»
15 years 11 months ago
A Logical Approach to Multidimensional Databases
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
Luca Cabibbo, Riccardo Torlone
BIRTHDAY
1991
Springer
15 years 10 months ago
Modal Logic Should Say More Than It Does
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
Melvin Fitting
IWPC
1999
IEEE
15 years 11 months ago
Reconstructing Ownership Architectures To Help Understand Software Systems
Recent research suggests that large software systems should have a documented system architecture. One form of documentation that may help describe the structure of software syste...
Ivan T. Bowman, Richard C. Holt
ASWSD
2006
Springer
15 years 10 months ago
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...