Hua, Xiayu; Guo, Chunhui; Wu, Hao; Lautner, Douglas; Ren, Shangping Schedulability analysis for real-time task set on resource with performance degradation and dual-level periodic rejuvenations. (English) Zbl 1364.68110 IEEE Trans. Comput. 66, No. 3, 553-559 (2017). MSC: 68M20 PDF BibTeX XML Cite \textit{X. Hua} et al., IEEE Trans. Comput. 66, No. 3, 553--559 (2017; Zbl 1364.68110) Full Text: DOI
Bessa, Iury; Ismail, Hussama; Palhares, Reinaldo; Cordeiro, Lucas; Chaves Filho, João Edgar Formal non-fragile stability verification of digital control systems with uncertainty. (English) Zbl 1364.93447 IEEE Trans. Comput. 66, No. 3, 545-552 (2017). MSC: 93C62 68Q60 93B52 93D09 PDF BibTeX XML Cite \textit{I. Bessa} et al., IEEE Trans. Comput. 66, No. 3, 545--552 (2017; Zbl 1364.93447) Full Text: DOI
Mazahir, Sana; Hasan, Osman; Hafiz, Rehan; Shafique, Muhammad; Henkel, Jörg Probabilistic error modeling for approximate adders. (English) Zbl 1364.68037 IEEE Trans. Comput. 66, No. 3, 515-530 (2017). MSC: 68M07 PDF BibTeX XML Cite \textit{S. Mazahir} et al., IEEE Trans. Comput. 66, No. 3, 515--530 (2017; Zbl 1364.68037) Full Text: DOI
Wei, Hengfeng; Huang, Yu; Lu, Jian Probabilistically-atomic 2-atomicity: enabling almost strong consistency in distributed storage systems. (English) Zbl 1364.68173 IEEE Trans. Comput. 66, No. 3, 502-514 (2017). MSC: 68P20 68M14 PDF BibTeX XML Cite \textit{H. Wei} et al., IEEE Trans. Comput. 66, No. 3, 502--514 (2017; Zbl 1364.68173) Full Text: DOI
De Pestel, Sander; Eyerman, Stijn; Eeckhout, Lieven Linear branch entropy: characterizing and optimizing branch behavior in a micro-architecture independent way. (English) Zbl 1364.68023 IEEE Trans. Comput. 66, No. 3, 458-472 (2017). MSC: 68M07 PDF BibTeX XML Cite \textit{S. De Pestel} et al., IEEE Trans. Comput. 66, No. 3, 458--472 (2017; Zbl 1364.68023) Full Text: DOI
Kaitoua, Abdulrahman; Pinoli, Pietro; Bertoni, Michele; Ceri, Stefano Framework for supporting genomic operations. (English) Zbl 1365.92032 IEEE Trans. Comput. 66, No. 3, 443-457 (2017). MSC: 92C40 92-08 PDF BibTeX XML Cite \textit{A. Kaitoua} et al., IEEE Trans. Comput. 66, No. 3, 443--457 (2017; Zbl 1365.92032) Full Text: DOI
Ueno, Rei; Homma, Naofumi; Sugawara, Yukihiro; Aoki, Takafumi Formal approach for verifying Galois field arithmetic circuits of higher degrees. (English) Zbl 1364.94795 IEEE Trans. Comput. 66, No. 3, 431-442 (2017). MSC: 94C05 12Y05 68Q60 PDF BibTeX XML Cite \textit{R. Ueno} et al., IEEE Trans. Comput. 66, No. 3, 431--442 (2017; Zbl 1364.94795) Full Text: DOI
Xie, Dingbao; Xiong, Wen; Bu, Lei; Li, Xuandong Deriving unbounded reachability proof of linear hybrid automata during bounded checking procedure. (English) Zbl 1364.68266 IEEE Trans. Comput. 66, No. 3, 416-430 (2017). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{D. Xie} et al., IEEE Trans. Comput. 66, No. 3, 416--430 (2017; Zbl 1364.68266) Full Text: DOI
Ozturk, Ozcan; Orhan, Umut; Ding, Wei; Yedlapalli, Praveen; Kandemir, Mahmut Taylan Cache hierarchy-aware query mapping on emerging multicore architectures. (English) Zbl 1364.68042 IEEE Trans. Comput. 66, No. 3, 403-415 (2017). MSC: 68M07 PDF BibTeX XML Cite \textit{O. Ozturk} et al., IEEE Trans. Comput. 66, No. 3, 403--415 (2017; Zbl 1364.68042) Full Text: DOI
Shamim, Md Shahriar; Mansoor, Naseef; Narde, Rounak Singh; Kothandapani, Vignesh; Ganguly, Amlan; Venkataraman, Jayanti A wireless interconnection framework for seamless inter and intra-chip communication in multichip systems. (English) Zbl 1364.68044 IEEE Trans. Comput. 66, No. 3, 389-402 (2017). MSC: 68M07 PDF BibTeX XML Cite \textit{M. S. Shamim} et al., IEEE Trans. Comput. 66, No. 3, 389--402 (2017; Zbl 1364.68044) Full Text: DOI
Dai, Wangchen; Chen, Donald Donglong; Cheung, Ray C. C.; Koç, Çetin Kaya Area-time efficient architecture of FFT-based Montgomery multiplication. (English) Zbl 1364.68022 IEEE Trans. Comput. 66, No. 3, 375-388 (2017). MSC: 68M07 65T50 PDF BibTeX XML Cite \textit{W. Dai} et al., IEEE Trans. Comput. 66, No. 3, 375--388 (2017; Zbl 1364.68022) Full Text: DOI