| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide: an embedded device capable of improving performance of applications operating on a virtual machine; a method for setting parameters executed by the device; a program for the device; and a recording medium storing the program. <P>SOLUTION: An embedded device 10 comprises: a virtual machine 120 operating on an operating system 110; memory means 116 for storing one or more control parameters of the virtual machine 120; control means 124 for controlling addition and deletion of one or more applications 126 and 128 executed on the virtual machine 120 and for managing a configuration status of the embedded device 10; detecting means 122 for detecting a change in usage status or configuration status of one or more application means to issue a notice; calculating means 112 for calculating re-assigned values for the one or more control parameters in response to the notice to store them in the memory means 116; and commanding means 114 for commanding the restarting of the virtual machine 120 after the re-assigned values are stored. <P>COPYRIGHT: (C)2012,JPO&INPIT |
