DoCoMo USA Labs

Displaying 1-2 of 2 results

  • White Papers // Mar 2011

    Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems

    Finite state machines and pushdown systems are frequently used in model based testing. In such testing, the system under test is abstractly modeled as a finite state machine having a finite set of states and a labeled transition relation between the states. A pushdown system, additionally, has an unbounded stack....

    Provided By DoCoMo USA Labs

  • White Papers // Apr 2010

    Dynamic Resource Allocation and Power Management in Virtualized Data Centers

    This paper investigates optimal resource allocation and power management in virtualized data centers with time-varying workloads and heterogeneous applications. Prior work in this area uses prediction based approaches for resource provisioning. In this work, the authors take an alternate approach that makes use of the queueing information available in the...

    Provided By DoCoMo USA Labs

  • White Papers // Apr 2010

    Dynamic Resource Allocation and Power Management in Virtualized Data Centers

    This paper investigates optimal resource allocation and power management in virtualized data centers with time-varying workloads and heterogeneous applications. Prior work in this area uses prediction based approaches for resource provisioning. In this work, the authors take an alternate approach that makes use of the queueing information available in the...

    Provided By DoCoMo USA Labs

  • White Papers // Mar 2011

    Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems

    Finite state machines and pushdown systems are frequently used in model based testing. In such testing, the system under test is abstractly modeled as a finite state machine having a finite set of states and a labeled transition relation between the states. A pushdown system, additionally, has an unbounded stack....

    Provided By DoCoMo USA Labs