2957 search results - page 175 / 592 » Code analysis and CS-XML |
126
click to vote
ICNP
2000
IEEE
15 years 7 months ago
2000
IEEE
We study group loss probabilities of Forward Error Correction (FEC) codes in shared loss multicast communication. We present a new analysis model with explicit state equations usi...
127
Voted
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
123
click to vote
CONCURRENCY
2007
15 years 3 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
118
Voted
CANDC
2002
ACM
15 years 3 months ago
2002
ACM
Recursive segmentation is a procedure that partitions a DNA sequence into domains with a homogeneous composition of the four nucleotides A, C, G and T. This procedure can also be ...
142
Voted
IJPP
2000
15 years 3 months ago
2000
Increases in instruction level parallelism are needed to exploit the potential parallelism available in future wide issue architectures. Predicated execution is an architectural m...