5255 search results - page 910 / 1051 » Formal Methods for Privacy |
136
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
127
Voted
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
Orthogonal Frequency-Division Multiplexing (OFDM) has become the preferred modulation scheme for both broadband and high bitrate digital wireless protocols because of its spectral...
152
Voted
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
109
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
129
Voted
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...