12272 search results - page 2237 / 2455 » Experimental program analysis |
191
click to vote
LCN
2006
IEEE
16 years 15 days ago
2006
IEEE
To support reliable multicast routing in wireless mesh networks, it is important to protect multicast sessions against link or node failures. The issue of protecting multicast ses...
154
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
200
click to vote
VEE
2006
ACM
16 years 13 days ago
2006
ACM
Many fault-tolerant and intrusion-tolerant systems require the ability to execute unsafe programs in a realistic environment without leaving permanent damages. Virtual machine tec...
197
click to vote
VEE
2006
ACM
16 years 13 days ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
207
click to vote
CVPR
2010
IEEE
16 years 4 days ago
2010
IEEE
Context modeling for Vision Recognition and Automatic Image Annotation (AIA) has attracted increasing attentions in recent years. For various contextual information and resources,...