1082 search results - page 160 / 217 » tools 2000 |
MICRO
2003
IEEE
14 years 3 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
IEEEMSP
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract—Transmission of digital contents in unavoidable noiseprone environments demands sophisticated error detection and concealment techniques to restore the perceptual qualit...
EUROCRYPT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We show that finding an efficiently computable injective homomorphism from the XTR subgroup into the group of points over GF(p2 ) of a particular type of supersingular e...
APSEC
2000
IEEE
14 years 2 months ago
2000
IEEE
Communication and collaboration is difficult in geographically distributed settings. As a result of globalization, merges and acquisition, and scarce skills, software development...
APSEC
2000
IEEE
14 years 2 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...