2673 search results - page 241 / 535 » Guided Static Analysis |
150
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
150
click to vote
HCI
2001
15 years 7 months ago
2001
: For the past two years we have been addressing the challenges involved in managing the data generated within immersive environments. We together with many other researchers have ...
189
click to vote
ISCAPDCS
2003
15 years 7 months ago
2003
The quick construction of the Shortest Path Tree (SPT) is essential to achieve fast routing speed for an interior network using link state protocols, such as OSPF and IS-IS. Whene...
157
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
142
click to vote
ESE
2006
15 years 6 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...