1961 search results - page 306 / 393 » PicoDBMS: Validation and Experience |
164
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
175
click to vote
CC
1999
Springer
15 years 10 months ago
1999
Springer
In processors that do not support floating-point instructions, using fixed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...
161
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
In a companion paper of this session [1] we formally defined the notion of equivalence classes of circuits which are physical clones of an existing benchmark seed circuit created ...
145
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
175
click to vote
RT
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we develop a technique for measuring the perceptual equivalence of a graphical scene to a real scene. Ability to compare images is valuable in computer graphics for a...