Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Satrajit Chatterjee

Verifying Deadlock-Freedom of Communication Fabrics

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing

English

Boolean Factoring and Decomposition of Logic Networks

English