E-LIB Suche - Ergebnisse für: Biswas, Swarnendu

1

An MILP Encoding for Efficient Verification of Quantized De..:

Mistry, Samvid ; Saha, Indranil ; Biswas, Swarnendu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41 (2022) 11 - p. 4445-4456 , 2022

Link: https://doi.org/10.1109/..

2

Efficient data race detection of async-finish programs usin..:

, In: Proceedings of the Thirteenth International Workshop on Programming Models and Applications for Multicores and Manycores,

Kumar, Shivam ; Agrawal, Anupam ; Biswas, Swarnendu - p. 45-54 , 2022

Link: https://dl.acm.org/doi/1..

3

Explaining the Performance of Supervised and Semi-Supervise..:

, In: 50th International Conference on Parallel Processing Workshop,

Dhandhania, Sunidhi ; Deodhar, Akshay ; Pogorelov, Konstantin.. - p. 1-10 , 2021

Link: https://dl.acm.org/doi/1..

4

Thermal-aware Adaptive Platform Management for Heterogeneou..:

Maity, Srijeeta ; Ghose, Anirban ; Dey, Soumyajit.
ACM Transactions on Embedded Computing Systems (TECS). 20 (2021) 5s - p. 1-28 , 2021

Link: https://dl.acm.org/doi/1..

5

HiPC 2021 Workshop on Parallel Programming in the Exascale ..:

, In: 2021 IEEE 28th International Conference on High Performance Computing, Data and Analytics Workshop (HiPCW),

Kumar, Vivek ; Biswas, Swarnendu ; Jatala, Vishwesh - p. 50-55 , 2021

Link: https://doi.org/10.1109/..

6

Thermal-aware Adaptive Platform Management for Heterogeneou..:

Maity, Srijeeta ; Ghose, Anirban ; Dey, Soumyajit.
ACM Transactions on Embedded Computing Systems. 20 (2021) 5s - p. 1-28 , 2021

Link: https://doi.org/10.1145/..

7

A Methodology for Principled Approximation in Visual SLAM:

, In: Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques,

Pei, Yan ; Biswas, Swarnendu ; Fussell, Donald S.. - p. 373-386 , 2020

Link: https://dl.acm.org/doi/1..

8

Thermal Load-aware Adaptive Scheduling for Heterogeneous Pl..:

, In: 2020 33rd International Conference on VLSI Design and 2020 19th International Conference on Embedded Systems (VLSID),

Maity, Srijeeta ; Ghose, Anirban ; Dey, Soumyajit. - p. 125-130 , 2020

Link: https://doi.org/10.1109/..

9

Peacenik : Architecture Support for Not Failing under Fa..:

, In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems,

Zhang, Rui ; Biswas, Swarnendu ; Balaji, Vignesh.. - p. 317-333 , 2020

Link: https://dl.acm.org/doi/1..

10

Proteus: Language and Runtime Support for Self-Adaptive Sof..:

Barati, Saeid ; Bartha, Ferenc A. ; Biswas, Swarnendu...
IEEE Software. 36 (2019) 2 - p. 73-82 , 2019

Link: https://doi.org/10.1109/..

11

SLAMBooster: An Application-Aware Online Controller for App..:

, In: 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT),

Pei, Yan ; Biswas, Swarnendu ; Fussell, Donald S.. - p. 296-310 , 2019

Link: https://doi.org/10.1109/..

12

An elementary introduction to Kalman filtering:

Pei, Yan ; Biswas, Swarnendu ; Fussell, Donald S..
Communications of the ACM. 62 (2019) 11 - p. 122-133 , 2019

Link: https://dl.acm.org/doi/1..

13

Rethinking Support for Region Conflict Exceptions:

, In: 2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS),

Biswas, Swarnendu ; Zhang, Rui ; Bond, Michael D.. - p. 1095-1106 , 2019

Link: https://doi.org/10.1109/..

14

An elementary introduction to Kalman filtering:

Pei, Yan ; Biswas, Swarnendu ; Fussell, Donald S..
Communications of the ACM. 62 (2019) 11 - p. 122-133 , 2019

Link: https://doi.org/10.1145/..

15

Hybridizing and Relaxing Dependence Tracking for Efficient ..:

Cao, Man ; Zhang, Minjia ; Sengupta, Aritra..
ACM Transactions on Parallel Computing. 4 (2017) 2 - p. 1-42 , 2017

Link: https://doi.org/10.1145/..