8825 search results - page 1478 / 1765 » All for one or one for all |
100
click to vote
ASPDAC
2000
ACM
15 years 5 months ago
2000
ACM
Simulated annealing has been one of the most popular stochastic optimization methods used in the VLSI CAD field in the past two decades for handling NP-hard optimization problems...
104
click to vote
CRYPTO
2000
Springer
15 years 5 months ago
2000
Springer
Private information retrieval (PIR) enables a user to retrieve a data item from a database, replicated among one or more servers, while hiding the identity of the retrieved item. ...
149
click to vote
ECOOPW
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
127
click to vote
ECBS
1999
IEEE
15 years 5 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
114
click to vote
PODC
1999
ACM
15 years 5 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...