3708 search results - page 607 / 742 » Programming with C Exceptions |
167
click to vote
CADE
1990
Springer
15 years 9 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
169
click to vote
DAS
2010
Springer
15 years 9 months ago
2010
Springer
Matching word images has many applications in document recognition and retrieval systems. Dynamic Time Warping (DTW) is popularly used to estimate the similarity between word imag...
123
Voted
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
The application of aspect-oriented programming (AOP) to the embedded operating system domain is still a very controversial topic, as this area demands high performance and small m...
149
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
134
click to vote
CASES
2007
ACM
15 years 9 months ago
2007
ACM
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management (DMM); however, it is a challeng...