6608 search results - page 967 / 1322 » On the Completeness of Model Checking |
154
click to vote
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for TacticalInformation Selection ...
173
click to vote
ISCA
1996
IEEE
15 years 11 months ago
1996
IEEE
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...
170
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
Abstract - Today's digital design systems are running out of steam, when it comes to meeting the challenges presented by simultaneous switching, power consumption and reliabil...
237
click to vote
ICDCS
1994
IEEE
15 years 11 months ago
1994
IEEE
In a multidatabase environment with mobile computers involved, the nature of computing is such that the user may not wait for the submitted global transaction to complete before d...
184
click to vote
ERSHOV
1993
Springer
15 years 11 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...