1992 search results - page 99 / 399 » On the (limited) power of non-equivocation |
94
Voted
ISLPED
2009
ACM
15 years 8 months ago
2009
ACM
On-chip communication, including short, often-multicast, latency-critical coherence and synchronization messages, and long, unicast, throughput-sensitive data transfer, limits the...
102
click to vote
WOWMOM
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents the concept and preliminary performance evaluation of a stochastic network discovery approach named opportunistic scanning. Therein, a station only pauses its ...
111
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...
125
Voted
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
96
Voted
ISCAS
2007
IEEE
15 years 8 months ago
2007
IEEE
—With ever increasing complexity in new mechanical structures, as well as aging structures in operation, locating damage with structural health monitoring techniques is becoming ...