9405 search results - page 1124 / 1881 » Computing a Model of Set Theory |
195
click to vote
DAC
2003
ACM
16 years 23 days ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
221
click to vote
HPDC
2002
IEEE
16 years 14 days ago
2002
IEEE
Resource location (or discovery) is a fundamental service for resource-sharing environments: given desired resource attributes, the service returns locations of matching resources....
226
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
190
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Recent trends in the semiconductor industry have resulted in an increasing demand for low power circuits. POSE is a step in providing the EDA community and academia with an enviro...
193
click to vote
PARA
1994
Springer
15 years 11 months ago
1994
Springer
A model describing the full quantum mechanical three body problem of the hydrogen molecular ion is presented, and some of the numerical results are subsequently discussed. The ove...