7393 search results - page 1234 / 1479 » Synthesis-for-testability using transformations |
113
Voted
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
125
click to vote
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
138
click to vote
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
The proliferation of smart gadgets, appliances, mobile devices, PDAs and sensors has enabled the construction of ubiquitous computing environments, transforming regular physical s...
130
click to vote
ICIP
2002
IEEE
15 years 8 months ago
2002
IEEE
—Several techniques based on the three–dimensional (3-D) discrete cosine transform (DCT) have been proposed for volumetric data coding. These techniques fail to provide lossles...
138
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...