42507 search results - page 412 / 8502 » On the analysis of |
196
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
205
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
170
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
180
click to vote
ACIVS
2008
Springer
16 years 1 months ago
2008
Springer
Scientific advances in the development of video processing algorithms now allow various distributed and collaborative vision-based applications. However, the lack of recognised st...
189
click to vote
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
-- In this paper, we propose DATALITE, a Distributed Architecture for Traffic Analysis via LIghtweight Traffic digEst, which introduces a set of new distributed algorithms and prot...