Sciweavers

932 search results - page 47 / 187
» Verifying Progress in Timed Systems
Sort
View
MICCAI
2009
Springer
16 years 4 months ago
Inverse C-arm Positioning for Interventional Procedures Using Real-Time Body Part Detection
The automation and speedup of interventional therapy and diagnostic workflows is a crucial issue. One way to improve these workflows is to accelerate the image acquisition procedur...
Christian Schaller, Christopher Rohkohl, Jochen Pe...
ECRTS
2004
IEEE
15 years 7 months ago
Pessimistic Concurrency Control and Versioning to Support Database Pointers in Real-Time Databases
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
Dag Nyström, Mikael Nolin, Aleksandra Tesanov...
ITC
1999
IEEE
178views Hardware» more  ITC 1999»
15 years 7 months ago
Embedded X86 testing methodology
The embedded core testing methodology at Advanced Micro Devices Inc. involves adopting a disciplined system for developing new products with a focus on time to market and engineer...
Luis Basto, Asif Khan, Pete Hodakievic
APVIS
2004
15 years 4 months ago
A Solar System Metaphor for 3D Visualisation of Object Oriented Software Metrics
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...
Hamish Graham, Hong Yul Yang, Rebecca Berrigan
134
Voted
IPPS
2010
IEEE
15 years 1 months ago
Overlapping computation and communication: Barrier algorithms and ConnectX-2 CORE-Direct capabilities
Abstract--This paper explores the computation and communication overlap capabilities enabled by the new CORE-Direct hardware capabilities introduced in the InfiniBand (IB) Host Cha...
Richard L. Graham, Stephen W. Poole, Pavel Shamis,...