3629 search results - page 55 / 726 » A More Efficient Use of Delta-CRLs |
DEDS
2000
14 years 9 months ago
2000
Abstract. Ordinal Optimization has emerged as an efficient technique for simulation and optimization. Exponential convergence rates can be achieved in many cases. In this paper, we...
112
click to vote
GLOBECOM
2009
IEEE
14 years 7 months ago
2009
IEEE
Due to the limited energy supplies of nodes in many applications like wireless sensor networks, energy efficiency is crucial for extending the lifetime of these networks. This pape...
DAC
2004
ACM
15 years 10 months ago
2004
ACM
We present novel and efficient methods for on-line testing in FPGAs. The testing approach uses a ROving TEster (ROTE), which has provable diagnosabilities and is also faster than ...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper demonstrates that the algorithmic performance of end user programs may be greatly affected by the two or three level caching scheme of the processor, and we introduc...