932 search results - page 47 / 187 » Verifying Progress in Timed Systems |
178
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
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...
189
click to vote
ECRTS
2004
IEEE
15 years 9 months ago
2004
IEEE
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...
136
click to vote
ITC
1999
IEEE
15 years 10 months ago
1999
IEEE
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...
174
click to vote
APVIS
2004
15 years 7 months ago
2004
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-...
162
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
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...