1368 search results - page 126 / 274 » Avoiding Simplicity Is Complex |
TABLEAUX
1999
Springer
14 years 2 months ago
1999
Springer
Appeared in: N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99), Lecture Notes in Artificial Intelligence 1617, Springer, pages 2...
CAV
1998
Springer
14 years 2 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
LCN
1996
IEEE
14 years 2 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
SPDP
1993
IEEE
14 years 2 months ago
1993
IEEE
This paper presents a solution to the (processor) group membership problem. The methodology followed in designing the algorithm is summarized by the option to optimize the perform...
STOC
1993
ACM
14 years 2 months ago
1993
ACM
Let B be a set of n arbitrary possibly intersecting convex obstacles in Rd. It is shown that any two points which can be connected by a path avoiding the obstacles can also be c...