963 search results - page 70 / 193 » Modeling and analysis of real -time systems with mutex compo... |
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
112
click to vote
CSDA
2008
14 years 12 months ago
2008
Tree models are valuable tools for predictive modeling and data mining. Traditional tree-growing methodologies such as CART are known to suffer from problems including greediness,...
113
click to vote
CIKM
2000
Springer
15 years 3 months ago
2000
Springer
Geographic Information Systems (GISs) have become an essential tool for efficient handling of our natural and artificial environment. The most important activities in a GIS are qu...
TASLP
2010
14 years 6 months ago
2010
Abstract--This paper presents a novel method for automatically classifying consumer video clips based on their soundtracks. We use a set of 25 overlapping semantic classes, chosen ...
QSIC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...