Dynamic Power Optimization Based on Formal Property Checking of Operations

2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID) ◽

10.1109/vlsid.2017.56 ◽

2017 ◽

Cited By ~ 1

Author(s):

Shrinidhi Udupi ◽

Joakim Urdahl ◽

Dominik Stoffel ◽

Wolfgang Kunz

Keyword(s):

Power Optimization ◽

Formal Property ◽

Dynamic Power ◽

Formal Property Checking

Download Full-text

Dynamic power optimization for secondary wearable biosensors in e-healthcare leveraging cognitive WBSNs with imperfect spectrum sensing

Future Generation Computer Systems ◽

10.1016/j.future.2020.05.013 ◽

2020 ◽

Vol 112 ◽

pp. 67-92

Author(s):

Long Zhang ◽

Jinhua Hu ◽

Chao Guo ◽

Haitao Xu

Keyword(s):

Spectrum Sensing ◽

Power Optimization ◽

Dynamic Power ◽

Imperfect Spectrum Sensing

Download Full-text

Distributed Targets Tracking with Dynamic Power Optimization for Wireless Sensor Networks

Lecture Notes in Electrical Engineering - Informatics and Management Science IV ◽

10.1007/978-1-4471-4793-0_26 ◽

2012 ◽

pp. 221-229 ◽

Cited By ~ 1

Author(s):

Shuting Zhang ◽

Guojun Li ◽

Lan Xiao ◽

Linhong Wang ◽

Xiao-na Zhou

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Power Optimization ◽

Wireless Sensor ◽

Dynamic Power

Download Full-text

Learning from constraints for formal property checking

2009 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2009.5340176 ◽

2009 ◽

Author(s):

In-Ho Moon ◽

Kevin Harer

Keyword(s):

Formal Property ◽

Learning From Constraints ◽

Formal Property Checking

Download Full-text

RTL dynamic power optimization for FPGAs

2008 51st Midwest Symposium on Circuits and Systems ◽

10.1109/mwscas.2008.4616899 ◽

2008 ◽

Cited By ~ 4

Author(s):

David Howland ◽

Russell Tessier

Keyword(s):

Power Optimization ◽

Dynamic Power

Download Full-text

Power optimization using dynamic power management

Proceedings. XII Symposium on Integrated Circuits and Systems Design (Cat. No.PR00387) ◽

10.1109/sbcci.1999.803105 ◽

2003 ◽

Cited By ~ 4

Author(s):

J.C. Monteiro

Keyword(s):

Power Management ◽

Power Optimization ◽

Dynamic Power Management ◽

Dynamic Power

Download Full-text

Dynamic Power Optimization of Active Filters With Application to Zero-IF Receivers

IEEE Journal of Solid-State Circuits ◽

10.1109/jssc.2006.874324 ◽

2006 ◽

Vol 41 (6) ◽

pp. 1344-1352 ◽

Cited By ~ 19

Author(s):

M.T. Ozgun ◽

Y. Tsividis ◽

G. Burra

Keyword(s):

Power Optimization ◽

Active Filters ◽

Dynamic Power

Download Full-text

Dynamic power optimization of pilot and data for downlink OFDMA systems

Journal of Communications and Networks ◽

10.23919/jcn.2021.000023 ◽

2021 ◽

pp. 1-10

Author(s):

Yong Liu ◽

Fei Liu ◽

Guang Zhu ◽

Xiaolei Wang ◽

Yuechao Jiao

Keyword(s):

Power Optimization ◽

Dynamic Power

Download Full-text

Dynamic power optimization of LFSR using clock gating

2017 International Conference on Innovations in Information, Embedded and Communication Systems (ICIIECS) ◽

10.1109/iciiecs.2017.8275949 ◽

2017 ◽

Author(s):

K Madhushree ◽

Niju Rajan

Keyword(s):

Power Optimization ◽

Clock Gating ◽

Dynamic Power

Download Full-text

Dynamic power optimization with target prediction for measurement in wireless sensor networks

Journal of Mechanical Engineering ◽

10.3901/jme.2007.08.026 ◽

2007 ◽

Vol 43 (08) ◽

pp. 26 ◽

Cited By ~ 1

Author(s):

Xue WANG

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Power Optimization ◽

Target Prediction ◽

Wireless Sensor ◽

Dynamic Power

Download Full-text

Learning from Constraints for Formal Property Checking

Journal of Electronic Testing ◽

10.1007/s10836-010-5143-1 ◽

2010 ◽

Vol 26 (2) ◽

pp. 243-259

Author(s):

In-Ho Moon ◽

Kevin Harer

Keyword(s):

Formal Property ◽

Learning From Constraints ◽

Formal Property Checking

Download Full-text