7189 search results - page 1229 / 1438 » Connecting Design with Code |
136
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...
135
click to vote
ITC
1993
IEEE
15 years 8 months ago
1993
IEEE
ÐPseudoexhaustive testing of a combinational circuit involves applying all possible input patterns to all its individual output cones. The testing ensures detection of all detecta...
154
Voted
FPCA
1993
15 years 8 months ago
1993
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
136
click to vote
SIGCOMM
1994
ACM
15 years 8 months ago
1994
ACM
Interframe compression techniques, such as those used in MPEG video, give rise to a coded bit stream where picture sizes di er by a factor of 10 or more. As a result, bu ering is ...
115
click to vote
SIGMETRICS
1994
ACM
15 years 8 months ago
1994
ACM
Shade is an instruction-set simulator and custom trace generator. Application programs are executed and traced under the control of a user-supplied trace analyzer. To reduce commu...