The Community for Technology Leaders
Green Image
Issue No. 04 - April (vol. 59)
ISSN: 0018-9340

To SAT or Not to SAT: Scalable Exploration of Functional Dependency (Abstract)

J.-H.R. Jiang , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Chih-Chun Lee , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
A. Mishchenko , Dept. of Electr. Eng. & Comput. Sci., Univ. of California, Berkeley, CA, USA
Chung-Yang Huang , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 457-467

Performance Comparison of Graphics Processors to Reconfigurable Logic: A Case Study (Abstract)

Peter Y.K. Cheung , Imperial College London, London
Wayne Luk , Imperial College London, London
Ben Cope , Imperial College London , London
Lee Howes , Imperial College London
pp. 433-448

A Unified Architecture for the Accurate and High-Throughput Implementation of Six Key Elementary Functions (Abstract)

Saeed Fouladi Fard , Ukalta Engineering, Edmonton
Bruce F. Cockburn , University of Alberta, Edmonton
Amirhossein Alimohammad , Ukalta Engineering, Edmonton
pp. 449-456

Upper Bounds for Dynamic Memory Allocation (Abstract)

Wei-Mei Chen , National Taiwan University of Science and Technology, Taipei
J. Morris Chang , Iowa State University, Ames
Yusuf Hasan , Iowa Sate University, Ames
Bashar M. Gharaibeh , Iowa State University, Ames
pp. 468-477

Adaptive Power Management for Environmentally Powered Systems (Abstract)

Lothar Thiele , ETH Zurich, Zurich
Clemens Moser , ETH Zurich, Zurich
Luca Benini , University of Bologna, Bologna
Davide Brunelli , University of Bologna, Bologna
pp. 478-491

Dynamic Multiway Segment Tree for IP Lookups and the Fast Pipelined Search Engine (Abstract)

Cheng-Chien Su , National Cheng Kung University, Tainan
Yung-Chieh Lin , National Cheng Kung University, Tainan
Yeim-Kuan Chang , National Cheng Kung University, Tainan
pp. 492-506

Coverage and Detection of a Randomized Scheduling Algorithm in Wireless Sensor Networks (Abstract)

Kui Wu , University of Victoria, Victoria
Bo Sun , Lamar University, Beaumont
Chong Liu , University of Victoria, Victoria and Research In Motion Limited, Ontario
Xinyu Sun , Tulane University, New Orleans
Ying Zhang , Soochow University, Suzhou
Hui Chen , Virginia State University, Petersburg
Yang Xiao , The University of Alabama, Tuscaloosa
pp. 507-521

Adaptive CORDIC: Using Parallel Angle Recoding to Accelerate Rotations (Abstract)

Terence K. Rodrigues , University of Texas at Austin, Austin
Earl E. Swartzlander Jr. , University of Texas at Austin, Austin
pp. 522-531

Algorithmic Aspects of Hardware/Software Partitioning: 1D Search Algorithms (Abstract)

Wu Jigang , Tianjin Polytechnic University, China and Nanyang Technological University, Singapore
Thambipillai Srikanthan , Nanyang Technological University, Singapore
Guang Chen , Nortel Networks and Peking University, Beijing
pp. 532-544

Solving Stochastic Nonlinear Resource Allocation Problems Using a Hierarchy of Twofold Resource Allocation Automata (Abstract)

B. John Oommen , Carleton University, Ottawa and University of Agder, Grimstad
Ole-Christoffer Granmo , University of Agder, Grimstad
pp. 545-560

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement (Abstract)

Tomohiro Yoneda , National Institute of Informatics, Japan
Haiqiong Yao , University of South Florida, Tampa
Hao Zheng , University of South Florida, Tampa
pp. 561-573

An Optimal Encoding to Represent a Single Set in an ROBDD (Abstract)

Ondřej Lhoták , University of Waterloo, Waterloo
Stephen Curial , Xymbiant Systems Inc., Edmonton
José Nelson Amaral , University of Alberta, Edmonton
pp. 574-575
103 ms
(Ver 3.1 (10032016))