5180 search results - page 374 / 1036 » Concurrency, Time, and Constraints |
170
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Real-time cardiac ultrasound allows monitoring the heart motion during intracardiac beating heart procedures. Our application assists atrial septal defect (ASD) closure techniques...
196
click to vote
WETICE
2007
IEEE
16 years 1 months ago
2007
IEEE
Designing a collaborative architecture for real-time applications is an intricate challenge that usually involves dealing with the real-time constraints, resource limitations and ...
176
click to vote
DATE
2005
IEEE
16 years 15 days ago
2005
IEEE
On-chip buses are typically designed to meet performance constraints at worst-case conditions, including process corner, temperature, IR-drop, and neighboring net switching patter...
197
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
215
click to vote
ISVC
2005
Springer
16 years 11 days ago
2005
Springer
Augmented reality (AR) provides an intuitive user interface to present information in the context of the real world. A common application is to overlay screen-aligned annotations f...