3384 search results - page 390 / 677 » More Testable Properties |
162
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
150
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
180
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
The proliferation of the Internet has a ected the business model of almost all semiconductor and VLSI CAD companies that rely on intellectual property (IP) as their main source of...
165
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. The support vector domain description is a one-class classification method that estimates the shape and extent of the distribution of a data set. This separates the data ...
171
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
In Diffusion Tensor Imaging (DTI), differently oriented fiber bundles inside one voxel are incorrectly modeled by a single tensor. High Angular Resolution Diffusion Imaging (HARDI)...