2206 search results - page 126 / 442 » On the power of coercion abstraction |
117
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
93
Voted
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract. While standard processors achieve supercomputer performance, a performance gap exists between the interconnect of MPP's and COTS. Standard solutions like Ethernet ca...
100
Voted
SAS
2000
Springer
15 years 5 months ago
2000
Springer
We present a new representation for possibly infinite sets of possibly infinite trees. This representation makes extensive use of sharing to achieve efficiency. As much as possible...
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
Abstract-- In this paper we present the first bus-aware microarchitectural floorplanning. Our goal is to study the impact of bus routability on other important floorplanning object...
112
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...