504 search results - page 81 / 101 » Explaining Verification Conditions |
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we provide a principled and unified explanation how knowledge in global 3-D structural invariants, typically captured by a group action on a symmetric structure, ca...
INFOCOM
2000
IEEE
14 years 10 days ago
2000
IEEE
— In this paper we demonstrate how TCP congestion control can show chaotic behavior. We demonstrate the major features of chaotic systems in TCP/IP networks with examples. These ...
ECP
1997
Springer
14 years 3 days ago
1997
Springer
We provide a reconstruction of Blum and Furst’s Graphplan algorithm, and use the reconstruction to extend and improve the original algorithm in several ways. In our reconstructi...
FINTAL
2006
13 years 11 months ago
2006
The tool extract enables the automatic extraction of lemma-paradigm pairs from raw text data. The tool uses search patterns that consist of regular expressions and propositional lo...
APCSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...