Sciweavers

3303 search results - page 281 / 661
» Multidimensional Access Methods
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene
ISVLSI
2008
IEEE
152views VLSI» more  ISVLSI 2008»
16 years 1 months ago
Improving the Test of NoC-Based SoCs with Help of Compression Schemes
Re-using the network in a NoC-based system as a test access mechanism is an attractive solution as pointed out by several authors. As a consequence, testing of NoC-based SoCs is b...
Julien Dalmasso, Érika F. Cota, Marie-Lise ...
ICC
2007
IEEE
16 years 1 months ago
Precoded Block-Spread CDMA with Maximum User Support and Frequency-Domain Equalization
Abstract—Block-spread code-division multiple access (BSCDMA) is a bandwidth efficient method by which multiple users can utilize a transmission medium simultaneously. One specia...
Justin P. Coon
ICNS
2007
IEEE
16 years 1 months ago
Performance Evaluation of Real-Time Message Delivery in RDM Algorithm
Complexity of distributed real-time applications such as automotive electronics has increased dramatically over the last couple of years. As a result, developing communication pro...
Shabnam Mirshokraie, Mojtaba Sabeghi, Mahmoud Nagh...
IEEEARES
2007
IEEE
16 years 1 months ago
On the Assessment of the Interaction Quality of Users with Cerebral Palsy
This paper is the continuation of a series of related work about experimentation of alternative ways of interaction with computers for disabled people (concretely with users suffe...
Cesar Mauri, Toni Granollers, Agusti Solanas