Sciweavers

5672 search results - page 324 / 1135
» Design techniques for low-power systems
Sort
View
VTC
2006
IEEE
117views Communications» more  VTC 2006»
16 years 25 days ago
Adaptive Minimum Symbol Error Rate Beamforming Assisted Receiver for Quadrature Amplitude Modulated Systems
An adaptive beamforming assisted receiver is proposed for multiple antenna aided multiuser systems that employ bandwidth efficient quadrature amplitude modulation (QAM). A novel m...
Sheng Chen, H.-Q. Du, Lajos Hanzo
SIGADA
2005
Springer
16 years 9 days ago
Modeling SPARK systems with UML
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
Xavier Sautejeau
MEMOCODE
2003
IEEE
16 years 2 days ago
Real-time Property Preservation in Approximations of Timed Systems
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
Jinfeng Huang, Jeroen Voeten, Marc Geilen
CAISE
2001
Springer
15 years 11 months ago
Coordination Technologies for Managing Information System Evolution
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...
Luis Filipe Andrade, José Luiz Fiadeiro
USENIX
2003
15 years 8 months ago
X Window System Network Performance
Performance was an important issue in the development of X from the initial protocol design and continues to be important in modern application and extension development. That X i...
Keith Packard, James Gettys