Concepedia

Anindya Saha

AS

Statistics

Publications

6

Citations

129

H-Index

6

Active since

2002

Affiliations

IBM Research - Austin(Current)

Anindya Saha is an author at IBM Research - Austin specializing in computer engineering, engineering, and system software.

Top concepts

EngineeringComputer EngineeringFormal MethodsSystem SoftwareComputer ScienceFormal VerificationSystems EngineeringComputer ArchitectureMeasurementVerification

Publications per year

2002–2022

6

Publications

6

Design and Implementation of IoT Based Smart Energy Meter

Saikat Saha, Swagata Mondal, Anindya Saha et al. · 2018 · 43 citations

Electrical Engineering, Energy Harvesting, Engineering +11

Evaluation of ATSC 3.0 and 3GPP Rel-17 5G Broadcasting Systems for Mobile Handheld Applications

Seok-Ki Ahn, Sungjun Ahn, Jeongchang Kim et al. · IEEE Transactions on Broadcasting · 2022 · 26 citations

Atsc 3.0, Broadcasting Systems, Terrestrial Broadcast Services +12

Checking formal specifications under simulation

William Canfield, E. Allen Emerson, Anindya Saha · 2002 · 21 citations

Engineering, Verification, Computer Architecture +22

MPTG: a portable test generator for cache-coherent multiprocessors

B. O'Krafka, S. Mandyam, Jeffrey Kreulen et al. · 2002 · 15 citations

Engineering, Computer Architecture, Test Data Generation +22

A simulation-based approach to architectural verification of multiprocessor systems

Anindya Saha, N. Malik, B. O'Krafka et al. · 2002 · 14 citations

Hardware Modeling, Engineering, Hardware Verification Language +18

1–5 of 6