3009 search results - page 137 / 602 » The Expressive Rate of Constraints |
TSE
2011
14 years 5 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
92
Voted
TIT
2008
14 years 10 months ago
2008
We investigate resource allocation policies for time-division multiple access (TDMA) over fading channels in the power-limited regime. For frequency-flat block-fading channels and ...
VTC
2008
IEEE
15 years 4 months ago
2008
IEEE
— New GNSS signals are usually characterized by the presence of secondary codes and high data rates that can make the sign of the transmitted signal change each primary code peri...
FGR
2006
IEEE
15 years 4 months ago
2006
IEEE
Face identification systems relying on local descriptors are increasingly used because of their perceived robustness with respect to occlusions and to global geometrical deformati...
JSSPP
2001
Springer
15 years 2 months ago
2001
Springer
Networks of Workstations (NOW) have become important and cost-effective parallel platforms for scientific computations. In practice, a NOW system is heterogeneous and non-dedicat...