8636 search results - page 1312 / 1728 » How Developers Copy |
140
click to vote
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
111
Voted
ITICSE
1999
ACM
15 years 9 months ago
1999
ACM
This paper shows how a multimedia multi-framed simulation generator was developed. A technique of recording a sequence of steps and playing them back as an animation overcomes the...
185
click to vote
PADS
1999
ACM
15 years 9 months ago
1999
ACM
We have developed a set of performance prediction tools which help to estimate the achievable speedups from parallelizing a sequential simulation. The tools focus on two important...
126
click to vote
SIGCOMM
1999
ACM
15 years 9 months ago
1999
ACM
The more information about current network conditions available to a transport protocol, the more efficiently it can use the network to transfer its data. In networks such as the...
160
click to vote
HASE
1999
IEEE
15 years 9 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...