959 search results - page 128 / 192 » Transfers between Logics and their Applications |
188
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
200
click to vote
CCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
170
click to vote
SIGCOMM
1991
ACM
15 years 9 months ago
1991
ACM
We consider the problem of providing network access to hosts whose physical location changes with time. Such hosts cannot depend on traditional forms of network connectivity and r...
155
click to vote
CCR
2002
15 years 6 months ago
2002
This paper describes the results of a 500 million packet trace of a popular on-line, multi-player, game server. The results show that the traffic behavior of this heavily loaded ga...
133
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...