2438 search results - page 184 / 488 » Consistent Gradient Operators |
166
click to vote
ICCS
2001
Springer
15 years 10 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 ...
145
click to vote
ICIAP
2001
Springer
15 years 10 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...
144
click to vote
WADS
2001
Springer
15 years 10 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 ...
162
click to vote
WADT
2001
Springer
15 years 10 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...
156
click to vote
ISSS
1997
IEEE
15 years 10 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...