768 search results - page 114 / 154 » Symbolic and Abstract Interpretation for C C Programs |
MICCAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Vessels supplying malignant tumors are abnormally shaped. This paper describes a blinded study that assessed tumor malignancy by analyzing vessel shape within MR images o...
UIST
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
VW
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper presents Webots: a realistic mobile robot simulator allowing a straightforward transfer to real robots. The simulator currently support the Khepera mobile robo...