2935 search results - page 484 / 587 » An Integrated Approach to High Integrity Software Verificati... |
196
click to vote
DAC
2008
ACM
15 years 7 months ago
2008
ACM
Clock skew scheduling has been traditionally considered as a tool for improving the clock period in a sequential circuit. Timing slack is "stolen" from fast combinationa...
189
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: The extensive use of DNA microarray technology in the characterization of the cell transcriptome is leading to an ever increasing amount of microarray data from cancer...
188
click to vote
TOG
2008
15 years 5 months ago
2008
We present a real-time algorithm called compensated ray marching for rendering of smoke under dynamic low-frequency environment lighting. Our approach is based on a decomposition ...
180
click to vote
Publication
A key goal for the perceptual system is to optimally combine
information from all the senses that may be available in order to
develop the most accurate and unified picture possi...
173
click to vote
ICSE
2008
IEEE-ACM
2008
IEEE-ACM
Developing a security protocol for a distributed decision support system in a healthcare environment
16 years 6 months ago
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...