1724 search results - page 81 / 345 » Abstract Interpreters for Free |
165
click to vote
DIAGRAMS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
150
click to vote
OPODIS
2004
15 years 6 months ago
2004
Abstract. We present an efficient and practical lock-free implementation of a concurrent deque that supports parallelism for disjoint accesses and uses atomic primitives which are ...
132
click to vote
PDPTA
1997
15 years 6 months ago
1997
Abstract Fault-tolerant communication in a distributed system requires reliable connection management and message delivery. Reliable connection management includes the guarantee of...
140
click to vote
JCM
2008
15 years 5 months ago
2008
Abstract-- Secure group key distribution and efficient rekeying is one of the most challenging security issues in sensor networks at present. In this paper, Latin square is firstly...
127
click to vote
TSP
2008
15 years 5 months ago
2008
Abstract--A method for the computation of nonlinear digital filter networks containing delay-free loops is proposed. By preserving the topology of the network this method permits t...