1580 search results - page 151 / 316 » Non-Interference Through Determinism |
DAC
2006
ACM
14 years 11 months ago
2006
ACM
Power Gating is effective for reducing leakage power. Previously, a Distributed Sleep Transistor Network (DSTN) was proposed to reduce the sleep transistor area by connecting all ...
MICCAI
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. In this paper, we introduce an adaptive model-based segmentation framework, in which edge and region information are integrated and used adaptively while a solid model de...
MICCAI
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. This paper describes a new framework for white matter tractography in high angular resolution diffusion data. A direction-dependent local cost is defined based on the dif...
SIGSOFT
2005
ACM
14 years 11 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
ISBI
2002
IEEE
14 years 11 months ago
2002
IEEE
We describe the Protein Subcellular Location Image Database (PSLID), which collects and structures 2-D through 5-D fluorescence microscope images, annotations, and derived feature...