1027 search results - page 123 / 206 » Callgraph properties of executables |
112
click to vote
OPODIS
2003
15 years 5 months ago
2003
Dependable properties such as self-stabilization are crucial requirements in sensor networks. One way to achieve these properties is to utilize the vast literature on distributed ...
115
click to vote
PDPTA
2000
15 years 5 months ago
2000
The primary purpose of parallel computation is the fast execution of computational tasks that are too slow to perform sequentially. However, it was shown recently that a second eq...
110
click to vote
IJCAI
1989
15 years 5 months ago
1989
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...
168
click to vote
DAIS
2009
15 years 4 months ago
2009
Data aggregation plays an important role in the design of scalable systems, allowing the determination of meaningful system-wide properties to direct the execution of distributed a...
138
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...