2432 search results - page 431 / 487 » Cryptographic logical relations |
144
click to vote
SSDBM
1999
IEEE
15 years 8 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
134
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
134
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...
149
Voted
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) ...
135
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...