Sciweavers

21 search results - page 3 / 5
» A Model-Based Development Method for Device Drivers
Sort
View
WBIR
2010
SPRINGER
13 years 3 months ago
Model-Based Registration for Motion Compensation during EP Ablation Procedures
Radio-frequency catheter ablation (RFCA) has become an accepted treatment option for atrial fibrillation (Afib). RFCA of Afib involves isolation of the pulmonary veins under X-r...
Alexander Brost, Rui Liao, Joachim Hornegger, Norb...
ICSE
2010
IEEE-ACM
13 years 9 months ago
STORM: static unit checking of concurrent programs
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
Zvonimir Rakamaric
WSCG
2000
93views more  WSCG 2000»
13 years 6 months ago
The Design and Application of High-Resolution 3D Stereoscopic Graphics Display on PC
This paper describes methods and procedures for real-time rendering of high-resolution 3D stereoscopic graphics using an improved 3D OpenGL accelerator on PC platform. The hardwar...
Duoduo Liao
APSEC
2005
IEEE
13 years 6 months ago
Increasing the Efficiency of Fault Detection in Modified Code
Many software systems are developed in a number of consecutive releases. Each new release does not only add new code but also modifies already existing one. In this study we have ...
Piotr Tomaszewski, Lars Lundberg, Håkan Grah...
AAAI
2011
12 years 4 months ago
Modeling and Monitoring Crop Disease in Developing Countries
Information about the spread of crop disease is vital in developing countries, and as a result the governments of such countries devote scarce resources to gathering such data. Un...
John Alexander Quinn, Kevin Leyton-Brown, Ernest M...