2438 search results - page 184 / 488 » Consistent Gradient Operators |
126
click to vote
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...
99
Voted
ICIAP
2001
Springer
15 years 6 months ago
2001
Springer
The paper proposes a temporal filtering technique for the disparity measurements generated by area-based stereomatching algorithms. The technique improves temporal consistency of...
100
click to vote
WADS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We develop succinct data structures to represent (i) a sequence of values to support partial sum and select queries and update (changing values) and (ii) a dynamic array ...
129
click to vote
WADT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
113
click to vote
ISSS
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...