The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 10 - October (vol. 56)
ISSN: 0018-9340

Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds (Abstract)

Haisang Wu , Juniper Networks, Inc., 1194 N. Mathilda Ave., Sunnyvale, CA 94089
Binoy Ravindran , Real-Time Systems Laboratory, Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University, Blacksburg, VA 24061
E. Douglas Jensen , MITRE Corporation, Bedford, MA 01730
pp. 1358-1371

Exact Fault-Sensitive Feasibility Analysis of Real-Time Tasks (Abstract)

Hakan Aydin , Computer Science Department, George Mason University, 4400 University Drive-MSN 4A5, Fairfax, VA 22030
pp. 1372-1386

Integrated Row and Column Rerouting for Reconfiguration of VLSI Arrays with Four-Port Switches (Abstract)

Wu Jigang , Centre for High Performance Embedded Systems, School of Computer Engineering, Nanyang Technological University, N4-02a-32, Nanyang Avenue, Singapore 639798
Thambipillai Srikanthan , Centre for High Performance Embedded Systems, School of Computer Engineering, Nanyang Technological University, N4-02a-32, Nanyang Avenue, Singapore 639798
Xiaodong Wang , Centre for High Performance Embedded Systems, School of Computer Engineering, Nanyang Technological University, N4-02a-32, Nanyang Avenue, Singapore 639798
pp. 1387-1400

Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems (Abstract)

Shobha Vasudevan , Computer Engineering Research Center, University of Texas at Austin, 1 University Station C8800, Austin, TX 78712-0323. E-mail: {shobha, vvinod, sumners
Vinod Viswanath , Computer Engineering Research Center, University of Texas at Austin, 1 University Station C8800, Austin, TX 78712-0323. E-mail: {shobha, vvinod, sumners
Robert W. Sumners , Computer Engineering Research Center, University of Texas at Austin, 1 University Station C8800, Austin, TX 78712-0323. E-mail: {shobha, vvinod, sumners
Jacob A. Abraham , Computer Engineering Research Center, University of Texas at Austin, 1 University Station C8800, Austin, TX 78712-0323. E-mail: {shobha, vvinod, sumners
pp. 1401-1414

Can-Follow Concurrency Control (Abstract)

Peng Liu , College of Information Sciences and Technology, Pennsylvania State University, 313G IST Bldg., University Park, PA 16802
Jie Li , Department of Computer Science, University of Tsukuba, Tsukuba Science City, Ibaraki 305-8573, Japan
Sushil Jajodia , Center for Secure Information Systems, Mail Stop 5B5, George Mason University, Fairfax, VA 22030-4444
Paul Ammann , Department of Computer Science, Mail Stop 4A4, George Mason University, Fairfax, VA 22030-4444
pp. 1425-1430
Papers

Can-Follow Concurrency Control (Abstract)

Peng Liu , IEEE
Jie Li , IEEE
pp. 1425-1430
Call for Papers
93 ms
(Ver 3.3 (11022016))