1160 search results - page 230 / 232 » Revisiting the Sequence Constraint |
TRIER
2002
13 years 6 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
JSS
2008
13 years 5 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
KDD
2010
ACM
13 years 5 months ago
2010
ACM
Malware categorization is an important problem in malware analysis and has attracted a lot of attention of computer security researchers and anti-malware industry recently. Todayâ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Due to lack of the infrastructure, open peer-to-peer architecture, shared wireless medium, limited resource constraints and highly dynamic topology, MANETs (Mobile Adhoc Networks) ...
IJCV
2008
13 years 5 months ago
2008
This paper deals with video segmentation based on motion and spatial information. Classically, the motion term is based on a motion compensation error (MCE) between two consecutiv...