5855 search results - page 1077 / 1171 » Test generation and minimization with |
130
click to vote
PIMRC
2008
IEEE
15 years 7 months ago
2008
IEEE
—Wireless mesh networks (WMNs) is a promising key technology for next generation wireless backhauling that have recently attracted both the academic and industrial interest. Such...
130
click to vote
RTAS
2008
IEEE
15 years 7 months ago
2008
IEEE
Dynamic Power Management (DPM) techniques are crucial in minimizing the overall energy consumption in real-time embedded systems. The timing constraints of real-time applications ...
141
click to vote
SASP
2008
IEEE
15 years 7 months ago
2008
IEEE
Different approaches have been proposed over the years for automatically transforming High-Level-Languages (HLL) descriptions of applications into custom hardware implementations. ...
130
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
Breast biopsy guided by imaging techniques such as ultrasound is widely used to evaluate suspicious masses within the breast. Currently, ultrasound imaging does not allow live guid...