1902 search results - page 121 / 381 » Differential Dynamic Logics |
215
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Ad hoc networks are characterized by multihop wireless connectivity, frequently changing network topology and the need for efficient dynamic routing protocols. We compare the perf...
146
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
180
click to vote
ICDE
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract— Logical reorganization of data and requirements of differentiated QoS in information systems necessitate bulk data migration by the underlying storage layer. Such data ...
230
click to vote
CHES
2008
Springer
15 years 8 months ago
2008
Springer
We propose a generic information-theoretic distinguisher for differential side-channel analysis. Our model of side-channel leakage is a refinement of the one given by Standaert et ...
160
click to vote
TVLSI
2010
15 years 1 months ago
2010
Hardware debuggers and logic analyzers must be able to record a continuous trace of data. Since the trace data are tremendous, to save space, these traces are often compressed. The...