Sciweavers

2441 search results - page 157 / 489
» Integrated Medical Analysis System
Sort
View
176
Voted
TVLSI
2010
14 years 11 months ago
Variation-Aware System-Level Power Analysis
Abstract-- The operational characteristics of integrated circuits based on nanoscale semiconductor technology are expected to be increasingly affected by variations in the manufact...
Saumya Chandra, Kanishka Lahiri, Anand Raghunathan...
156
Voted
SACMAT
2009
ACM
15 years 11 months ago
Analysis of virtual machine system policies
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
Sandra Rueda, Hayawardh Vijayakumar, Trent Jaeger
RTAS
2008
IEEE
15 years 11 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
140
Voted
MICCAI
2003
Springer
16 years 5 months ago
Mesh Topology Identification for Mass-Spring Models
In surgical simulations, the two most popular approaches to model soft tissues are Finite Element Method (FEM) and Mass-Spring System (MSS). Main advantages of FEM are accuracy and...
Gábor Székely, Gérald Bianchi...
ISBI
2002
IEEE
16 years 5 months ago
Features of the NIH atlas small animal PET scanner and its use with a coaxial small animal volume CT scanner
ATLAS (Advanced Technology Laboratory Animal Scanner), a small animal PET scanner designed to image animals the size of rats and mice, is about to enter service on the NIH campus ...
Jürgen Seidel, Juan J. Vaquero, Javier Pascau...