Journal: IEEE Transactions on Computers

Volume 64, Issue 6

1506 -- 1508David Bader. State of the Journal
1509 -- 1521Yarkin Doröz, Erdinç Öztürk, Berk Sunar. Accelerating Fully Homomorphic Encryption in Hardware
1522 -- 1533Tao Zhang, Jianxin Wang, Jiawei Huang, Yi Huang, Jianer Chen, Yi Pan. Adaptive-Acceleration Data Center TCP
1534 -- 1547Alberto Ros, Polychronis Xekalakis, Marcelo Cintra, Manuel E. Acacio, José M. García 0001. Adaptive Selection of Cache Indexing Bits for Removing Conflict Misses
1548 -- 1563Baoxian Zhang, Xili Wan, Junzhou Luo, Xiaojun Shen. A Nearly Optimal Packet Scheduling Algorithm for Input Queued Switches with Deadline Guarantees
1564 -- 1578Bijan Alizadeh, Payman Behnam, Somayeh Sadeghi Kohan. A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs
1579 -- 1593Samaneh Ghandali, Bijan Alizadeh, Masahiro Fujita, Zainalabedin Navabi. Automatic High-Level Data-Flow Synthesis and Optimization of Polynomial Datapaths Using Functional Decomposition
1594 -- 1606Naimah Yaakob, Ibrahim Khalil, Heshan Kumarage, Mohammed Atiquzzaman, Zahir Tari. By-Passing Infected Areas in Wireless Sensor Networks Using BPR
1607 -- 1621Hao Zheng 0001, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang. Compositional Model Checking of Concurrent Systems
1622 -- 1632Chun-An Chen, Guey-Yun Chang, Sun-Yuan Hsieh. Conditional (t, k)-Diagnosis in Graphs by Using the Comparison Diagnosis Model
1633 -- 1646Chulmin Kim, Kyu Ho Park. Credit-Based Runtime Placement of Virtual Machines on a Single NUMA System for QoS of Data Access Performance
1647 -- 1657Santanu Sarkar, Subhadeep Banik, Subhamoy Maitra. Differential Fault Attack against Grain Family with Very Few Faults and Minimal Assumptions
1658 -- 1669Yan Lindsay Sun, Tin Yu Wu, Guotao Zhao, Mohsen Guizani. Efficient Rule Engine for Smart Building Systems
1670 -- 1679Peng Li, Song Guo, Jiankun Hu. Energy-Efficient Cooperative Communications for Multimedia Applications in Multi-Channel Wireless Networks
1680 -- 1693Thomas Olutoyin Oshin, Stefan Poslad, Zelun Zhang. Energy-Efficient Real-Time Human Mobility State Classification Using Smartphones
1694 -- 1706Tayyeb Mahmood, Seokin Hong, Soontae Kim. Ensuring Cache Reliability and Energy Scaling at Near-Threshold Voltage With Macho
1707 -- 1714Sanjit Chatterjee, Koray Karabina, Alfred Menezes. Fault Attacks on Pairing-Based Protocols Revisited
1715 -- 1728Haiying Shen, Ze Li, Jinwei Liu, Joseph Edward Grant. Knowledge Sharing in the Online Social Network of Yahoo! Answers and Its Implications
1729 -- 1741Renhai Chen, Zhiwei Qin, Yi Wang, Duo Liu, Zili Shao, Yong Guan. On-Demand Block-Level Address Mapping in Large-Scale NAND Flash Storage Systems
1742 -- 1754Marco E. T. Gerards, Johann L. Hurink, Jan Kuper. On the Interplay between Global DVFS and Scheduling Tasks with Precedence Constraints
1755 -- 1768Sheng Di, Derrick Kondo, Cho-Li Wang. Optimization of Composite Cloud Service Processing with Virtual Machines
1769 -- 1782Andrew D. Brown, Stephen B. Furber, Jeffrey S. Reeve, Jim D. Garside, Kier J. Dugan, Luis A. Plana, Steve Temple. SpiNNaker - Programming Model
1783 -- 1797Joshua Yung Lih Low, Ching-Chuen Jong. Unified Mitchell-Based Approximation for Efficient Logarithmic Conversion Circuit
1798 -- 1804Muhammad Jawad, Sahibzada Muhammad Ali, Joel A. Jorgenson, Samee U. Khan. JEM: Just in Time/Just Enough Energy Management Methodology for Computing Systems