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 29 days 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 29 days 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 29 days 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