3481 search results - page 483 / 697 » Architecture as Object Models of Software |
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
137
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
109
click to vote
MMSEC
2004
ACM
15 years 5 months ago
2004
ACM
Watermarking of 3D meshes has received a limited attention due to the difficulties encountered in extending the algorithms developed for 1D (audio) and 2D (images and video) signa...
131
click to vote
JOOP
1998
14 years 11 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
107
click to vote
AIME
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The progressive increase in the percentage of old people in all European countries implies an enormous economic and social cost, which can be somehow reduced if Home Care...