scispace - formally typeset

JournalISSN: 0018-9340

IEEE Transactions on Computers 

About: IEEE Transactions on Computers is an academic journal. The journal publishes majorly in the area(s): Cache & Scheduling (computing). It has an ISSN identifier of 0018-9340. Over the lifetime, 9819 publication(s) have been published receiving 458486 citation(s).
Papers
More filters

Journal ArticleDOI
Bryant1Institutions (1)
Abstract: In this paper we present a new data structure for representing Boolean functions and an associated set of manipulation algorithms. Functions are represented by directed, acyclic graphs in a manner similar to the representations introduced by Lee [1] and Akers [2], but with further restrictions on the ordering of decision variables in the graph. Although a function requires, in the worst case, a graph of size exponential in the number of arguments, many of the functions encountered in typical applications have a more reasonable representation. Our algorithms have time complexity proportional to the sizes of the graphs being operated on, and hence are quite efficient as long as the graphs do not grow too large. We present experimental results from applying these algorithms to problems in logic design verification that demonstrate the practicality of our approach.

8,721 citations


Journal ArticleDOI
N. U. Ahmed1, T. Natarajan1, K. R. RaoInstitutions (1)
Abstract: A discrete cosine transform (DCT) is defined and an algorithm to compute it using the fast Fourier transform is developed. It is shown that the discrete cosine transform can be used in the area of digital processing for the purposes of pattern recognition and Wiener filtering. Its performance is compared with that of a class of orthogonal transforms and is found to compare closely to that of the Karhunen-Loeve transform, which is known to be optimal. The performances of the Karhunen-Loeve and discrete cosine transforms are also found to compare closely with respect to the rate-distortion criterion.

4,205 citations


Journal ArticleDOI
Abstract: The contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributed problem solver. Task distribution is affected by a negotiation process, a discussion carried on between nodes with tasks to be executed and nodes that may be able to execute those tasks.

3,526 citations


Journal ArticleDOI
TL;DR: An algorithm for the analysis of multivariate data is presented along with some experimental results that is based upon a point mapping of N L-dimensional vectors from the L-space to a lower-dimensional space such that the inherent data "structure" is approximately preserved.
Abstract: An algorithm for the analysis of multivariate data is presented along with some experimental results. The algorithm is based upon a point mapping of N L-dimensional vectors from the L-space to a lower-dimensional space such that the inherent data "structure" is approximately preserved.

3,340 citations


Journal ArticleDOI
TL;DR: An investigation is conducted of two protocols belonging to the priority inheritance protocols class; the two are called the basic priority inheritance protocol and the priority ceiling protocol, both of which solve the uncontrolled priority inversion problem.
Abstract: An investigation is conducted of two protocols belonging to the priority inheritance protocols class; the two are called the basic priority inheritance protocol and the priority ceiling protocol. Both protocols solve the uncontrolled priority inversion problem. The priority ceiling protocol solves this uncontrolled priority inversion problem particularly well; it reduces the worst-case task-blocking time to at most the duration of execution of a single critical section of a lower-priority task. This protocol also prevents the formation of deadlocks. Sufficient conditions under which a set of periodic tasks using this protocol may be scheduled is derived. >

2,399 citations


Network Information
Related Journals (5)
IEEE Transactions on Parallel and Distributed Systems

4.8K papers, 213.1K citations

89% related
ACM Computing Surveys

2.1K papers, 346.9K citations

82% related
Information Processing Letters

7.6K papers, 180.1K citations

81% related
The Computer Journal

5.2K papers, 159.5K citations

81% related
Performance
Metrics
No. of papers from the Journal in previous years
YearPapers
2021238
2020194
2019180
2018169
2017223
2016308