5356 search results - page 921 / 1072 » Adventures in time and space |
129
click to vote
RE
2010
Springer
14 years 12 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
105
click to vote
SIAMCOMP
2010
14 years 12 months ago
2010
Let G = (V, E) be a weighted undirected graph having non-negative edge weights. An estimate ˆδ(u, v) of the actual distance δ(u, v) between u, v ∈ V is said to be of stretch t...
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
Virtually all histograms store for each bucket the number of distinct values it contains and their average frequency. In this paper, we question this paradigm. We start out by inv...
122
Voted
SPIN
2010
Springer
14 years 12 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
120
click to vote
TCOM
2010
14 years 12 months ago
2010
—A unified analytical framework for evaluating the performance of maximal ratio combining (MRC) and orthogonal space-time block coding (OSTBC) over generalized fading channels i...