2138 search results - page 380 / 428 » Logical Step-Indexed Logical Relations |
137
click to vote
FPGA
1998
ACM
15 years 8 months ago
1998
ACM
Three factors are driving the demand for rapid FPGA compilation. First, as FPGAs have grown in logic capacity, the compile computation has grown more quickly than the compute powe...
151
click to vote
ICTAI
1997
IEEE
15 years 8 months ago
1997
IEEE
Many black box optimization algorithms have sufcient exibility to allow them to adapt to the varying circumstances they encounter. These capabilities are of two primary sorts: 1) ...
137
click to vote
INFOCOM
1997
IEEE
15 years 8 months ago
1997
IEEE
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
123
click to vote
ISCA
1997
IEEE
15 years 8 months ago
1997
IEEE
Superscalar processors currently have the potential to fetch multiple basic blocks per cycle by employing one of several recently proposed instruction fetch mechanisms. However, t...
142
click to vote
DBPL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...