2957 search results - page 453 / 592 » Processing Self Corrections |
167
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
148
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
171
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
163
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
156
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Most research in the area of publish/subscribe systems has not considered fault-tolerance as a central design issues. However, faults do obviously occur and masking all faults is a...