9110 search results - page 131 / 1822 » Formally-Based Design Evaluation |
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— This paper reports the design, development, and magnetic resonance imaging (MRI) compatibility evaluation of an actuated transrectal prostate robot for MRI-guided intervention....
PUC
2011
14 years 5 months ago
2011
Abstract Research field trials of fully functional prototypes of location-based games are an effective way to test game designs and develop an understanding of what makes games co...
184
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Moving objects databases managing spatial objects with continuously changing position and extent over time have recently found large interest in the database community. Queries ab...
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
RWAPI is a low-level communication interface designed for clusters of PCs. It has been developed to provide performance to higher applications on a wide variety of architectures. W...
GLVLSI
2006
IEEE
15 years 4 months ago
2006
IEEE
A sensitivity analysis of resonant H-tree clock distribution networks is presented in this paper for a TSMC 0.18 μm CMOS technology. The analysis focuses on the effect of the dri...