2560 search results - page 108 / 512 » Analysis Tool for Honeypot Systems |
104
click to vote
SOSP
2003
ACM
15 years 10 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
128
click to vote
WCET
2008
15 years 3 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
111
Voted
IWPC
2009
IEEE
15 years 8 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
133
click to vote
WCET
2010
14 years 11 months ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
104
click to vote
PASTE
2005
ACM
15 years 7 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...