Browsing by Author "Dey, S."

Filter results by typing the first few letters
Now showing 1 - 3 of 3
  • No Thumbnail Available
    Item
    Modeling and analysis of deadlock driven dynamic priority scheduling
    (2013) Hazra, R.; Kanjilal, A.; Dey, S.; Bhattacharya, S.
    Specifying and designing Real Time Software Systems (RTSS) is a complex matter, because it requires logical correctness as well as timing correctness. Unified Modeling Language (UML), the standard visual object-oriented modeling language, is suitable to deal with this complexity. In RTSS, scheduling of tasks with hard deadlines has been an important area of research in today's life. In this paper a model is developed using UML 2.0 to highlight the deadlock occurrence as a drawback of Priority Inheritance Protocol (PIP). Further an improved model has been developed to prevent deadlock using the Stack Based Preemption Ceiling Protocol (SBPCP). � 2013 IEEE.
  • No Thumbnail Available
    Item
    Modeling and analysis of deadlock driven dynamic priority scheduling
    (2013) Hazra, R.; Kanjilal, A.; Dey, S.; Bhattacharya, S.
    Specifying and designing Real Time Software Systems (RTSS) is a complex matter, because it requires logical correctness as well as timing correctness. Unified Modeling Language (UML), the standard visual object-oriented modeling language, is suitable to deal with this complexity. In RTSS, scheduling of tasks with hard deadlines has been an important area of research in today's life. In this paper a model is developed using UML 2.0 to highlight the deadlock occurrence as a drawback of Priority Inheritance Protocol (PIP). Further an improved model has been developed to prevent deadlock using the Stack Based Preemption Ceiling Protocol (SBPCP). © 2013 IEEE.
  • No Thumbnail Available
    Item
    Schwinger–Keldysh Path Integral Formalism for a Quenched Quantum Inverted Oscillator
    (Multidisciplinary Digital Publishing Institute (MDPI), 2024) Choudhury, S.; Dey, S.; Gharat, R.M.; Mandal, S.; Pandey, N.
    In this work, we study the time-dependent behavior of quantum correlations of a system of an inverted oscillator governed by out-of-equilibrium dynamics using the well-known Schwinger–Keldysh formalism in the presence of quantum mechanical quench. Considering a generalized structure of a time-dependent Hamiltonian for an inverted oscillator system, we use the invariant operator method to obtain its eigenstate and continuous energy eigenvalues. Using the expression for the eigenstate, we further derive the most general expression for the generating function as well as the out-of-time-ordered correlators (OTOCs) for the given system using this formalism. Further, considering the time-dependent coupling and frequency of the quantum inverted oscillator characterized by quench parameters, we comment on the dynamical behavior, specifically the early, intermediate and late time-dependent features of the OTOC for the quenched quantum inverted oscillator. Next, we study a specific case, where the system of an inverted oscillator exhibits chaotic behavior by computing the quantum Lyapunov exponent from the time-dependent behavior of OTOCs in the presence of the given quench profile. © 2024 by the authors.