349 search results - page 45 / 70 » Recursive Path Orderings Can Also Be Incremental |
ICDE
2009
IEEE
13 years 5 months ago
2009
IEEE
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
ASPDAC
1999
ACM
13 years 12 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
FLAIRS
2001
13 years 9 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
PAM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Monitoring end-to-end paths in an overlay network is essential for evaluating end-system performance and for troubleshooting anomalous behavior. However, conducting measu...