Sciweavers

1144 search results - page 184 / 229
» Protocol Implementation in a Vertically Structured Operating...
Sort
View
CLEIEJ
2002
192views more  CLEIEJ 2002»
14 years 9 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...
MICRO
2008
IEEE
109views Hardware» more  MICRO 2008»
15 years 4 months ago
Dependence-aware transactional memory for increased concurrency
—Transactional memory (TM) is a promising paradigm for helping programmers take advantage of emerging multicore platforms. Though they perform well under low contention, hardware...
Hany E. Ramadan, Christopher J. Rossbach, Emmett W...
AOSE
2007
Springer
15 years 3 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
IPCAI
2010
15 years 1 months ago
Ultrasound Servoing of Catheters for Beating Heart Valve Repair
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
Samuel B. Kesner, Shelten G. Yuen, Robert D. Howe
ICRA
2010
IEEE
151views Robotics» more  ICRA 2010»
14 years 7 months ago
Design and control of motion compensation cardiac catheters
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
Samuel B. Kesner, Robert D. Howe