Staniša Dautović

Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking

Aleksandra Sesic, Staniša Dautović, Veljko Malbaša · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 21 citations

Engineering, Power Grid Operation, Dynamic Resource Allocation +22

Volatile Memristor in Leaky Integrate-and-Fire Neurons: Circuit Simulation and Experimental Study

Nataša Samardžić, Jovan S. Bajić, Dalibor Sekulić et al. · Electronics · 2022 · 21 citations · Full text

Engineering, Synaptic Transmission, Neurochip +17

Pervasive wireless CDN for greening video streaming to mobile devices

Dragan Boscovic, F. Vakil, Staniša Dautović et al. · International Convention on Information and Communication Technology, Electronics and Microelectronics · 2011 · 14 citations

Wireless Communications, Cross-layer Optimization, Engineering +19

Recursive Boolean Formula Minimization Algorithms for Implication Logic

Predrag Teodorovic, Staniša Dautović, Veljko Malbaša · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 13 citations

Circuit Complexity, Logic Synthesis, Regular Ordering +15

Simscape and LTspice models of HP ideal generic memristor based on finite closed form solution for window functions

Staniša Dautović, Nataša Samardžić, Anamarija Juhas et al. · 2021 28th IEEE International Conference on Electronics, Circuits, and Systems (ICECS) · 2021 · 13 citations