10870 search results - page 1891 / 2174 » Model Checking Programs |
204
click to vote
HPDC
1997
IEEE
15 years 10 months ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
170
click to vote
ICTAI
1997
IEEE
15 years 10 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
195
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
173
click to vote
WSC
2007
15 years 9 months ago
2007
The C source code associated with the Simulation 101 preconference workshop (offered at the 2006 and 2007 Winter Simulation Conferences) is presented here. This paper begins with ...
185
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...