6833 search results - page 171 / 1367 » Some two-character sets |
139
click to vote
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
In recent years scientific visualization has been driven by the need to visualize high-dimensional data sets within high-dimensional spaces. However most visualization methods ar...
122
click to vote
HPCA
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper, we propose a cache design that provides the same miss rate as a two-way set associative cache, but with a access time closer to a direct-mapped cache. As with other...
131
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
154
click to vote
FSTTCS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We describe some new, simple and apparently general methods for designing FPT algorithms, and illustrate how these can be used to obtain a signi cantly improved FPT algor...
152
click to vote
CAISE
1992
Springer
15 years 8 months ago
1992
Springer
In many non trivial application domains, object types with a complex structure occur. Data modelling techniques which only allow flat structures are not suitable for representing ...