1448 search results - page 156 / 290 » Restricted Stack Implementations |
101
click to vote
SIGCOMM
2006
ACM
15 years 8 months ago
2006
ACM
This paper revisits a much explored topic in networking – the search for a simple yet fully-general multicast design. The many years of research into multicast routing have led ...
124
Voted
ACSD
2005
IEEE
15 years 7 months ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
101
Voted
ANSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Mobility of users significantly impacts performance of a mobile ad-hoc network. Most existing simulation tools offer only a few random mobility models, which poorly reflect user m...
116
Voted
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
139
Voted
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...