3742 search results - page 433 / 749 » On the Use of Formal Techniques for Validation |
130
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—We compare some block equalizers for singlecarrier satellite systems subject to hard propagation conditions such as high Doppler spread, non-line-of-sight (NLOS), and no...
162
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we present an approach for potential negative obstacle detection based on missing data interpretation that extends traditional techniques driven by data only whi...
164
click to vote
SMALLTALK
2007
Springer
16 years 25 days ago
2007
Springer
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
192
click to vote
VLDB
2007
ACM
16 years 25 days ago
2007
ACM
Top-k queries on large multi-attribute data sets are fundamental operations in information retrieval and ranking applications. In this paper, we initiate research on the anytime b...
167
click to vote
DATE
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper explores optimization techniques of the synchronization mechanisms for MPSoCs based on complex interconnect (Network-on-Chip), targeted at future powerefficient system...