3156 search results - page 89 / 632 » An address translation simulator |
126
Voted
LCPC
2007
Springer
15 years 7 months ago
2007
Springer
Remote Direct Memory Access (RDMA) is a technology to update a remote machine’s memory without intervention at the receiver side. We evaluate where RDMA can be usefully applied a...
117
click to vote
WETICE
2008
IEEE
15 years 8 months ago
2008
IEEE
A widely used technique to overcome the shortage of unique public IP addresses is Network Address Translation (NAT), which hides several hosts behind a single public address. This...
179
click to vote
VLDB
2002
ACM
16 years 1 months ago
2002
ACM
We are interested in de ning and querying views in a huge and highly heterogeneous XML repository Web scale. In this context, view de nitions are very large and there is no appare...
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
107
click to vote
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...