2165 search results - page 264 / 433 » cases 2005 |
159
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
160
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
147
click to vote
ARITH
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we propose an architecture for the computation of the double—precision floating—point multiply—add fused (MAF) operation A + (B × C) that permits to compute ...
158
click to vote
ASAP
2005
IEEE
15 years 11 months ago
2005
IEEE
It is widely known that parallel operation execution in multiprocessor systems generates a respective increase in memory accesses. Since the memory and bus subsystems provide a li...
171
click to vote
ASYNC
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...