Paruthi, Jason
14  results:
Search for persons X
?
10

Older Adults Engage With Personalized Digital Coaching Prog..:

Sarah A. Graham ; Natalie Stein ; Fjori Shemaj...
https://www.frontiersin.org/articles/10.3389/fdgth.2021.642818/full.  , 2021
 
?
11

Hybrid verification of a hardware modular reduction engine:

, In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design,
Sawada, Jun ; Sandon, Peter ; Paruthi, Viresh... - p. 207-214 , 2011
 
?
12

Exploiting suspected redundancy without proving it:

, In: Proceedings of the 42nd annual Design Automation Conference,
Mony, Hari ; Baumgartner, Jason ; Paruthi, Viresh. - p. 463-466 , 2005
 
?
13

Automatic Formal Verification of Fused-Multiply-Add FPUs:

, In: Proceedings of the conference on Design, Automation and Test in Europe - Volume 2,
Jacobi, Christian ; Weber, Kai ; Paruthi, Viresh. - p. 1298-1303 , 2005
 
1-14