Fujitsu Corporation

Ryosuke Oishi

Akio Matsuda

Tsuneo Nakata

Yutaka Tamiya

Koichiro Takayama

David Thach

Qiang Zhu

Yasushi Hara

Katsumi Otsuka

Atsushi Ike

Rafael Kazumiti Morizawa

Praveen Murthy

Takashi Hasegawa

An information processing device that is powered by a battery is provided. The information processing device includes a processor. The processor evaluates a virtual remaining capacity of the battery corresponding to each of a plurality of operating systems running on a hypervisor executed by the information processing device, by using characteristic information that indicates a characteristic of each of the plurality of operating systems and a physical remaining capacity value that indicates a physical remaining capacity of the battery. In addition, the processor reports, to each individual operating system of the plurality of operating systems, a virtual remaining capacity value obtained by evaluating the virtual remaining capacity of the battery corresponding to the individual operating system.

Information processing device, method for reporting remaining battery capacity, and recording medium

Design and verification support related to integrated circuits that includes acquiring a first use case diagram representing a function of an object subject to design and verification and an activity diagram representing a processing procedure of the object; analyzing a structure of the activity diagram acquired at the acquiring step; converting the activity diagram to a second use case diagram representing a function of the object, based on the structure analyzed at the analyzing; verifying uniformity of the first use case diagram and the second use case diagram; and outputting a verification result obtained at the verifying uniformity.

Computer product for supporting design and verification of integrated circuit

An information processing apparatus performing a plurality of processes in parallel includes a plurality of processing units and an adjusting unit configured to determine processing intervals of the processing units on a processing-unit-specific basis to gradually align periods in which the processing units operate.

Information processing apparatus performing processes in parallel

A wireless communication device includes: a first wireless communication unit configured to receive a beacon signal when the first wireless communication unit is connected to a first wireless communication network; a second wireless communication unit configured to perform data communication through a second wireless communication network when the first wireless communication unit is not connected to the first wireless communication network; and a control unit configured to detect, from a signal from the first wireless communication network, a parameter concerning intervals at which the first wireless communication unit receives the beacon signal, and configured to perform control, based on the detected parameter, as to whether or not to disconnect connection to the first wireless communication network.

Wireless communication device, wireless communication method and communication control program

An information processing apparatus includes a processor programmed to detect scheduled starting times of two events to be executed at a current time or thereafter; calculate a difference of the scheduled starting times of the two events, when the scheduled starting times of the two events have been detected; and correct, based on the calculated difference and to an extent that a restriction indicated in restriction information of an event to be corrected is observed, the scheduled starting time of at least any one of the two events, as the event to be corrected, such that an interval between the scheduled starting times of the two events is shortened.

Information processing apparatus, electrical power control method, and computer product

A communication device includes a memory and a processor coupled to the memory. The processor executes a process including calculating an amount of electricity available in a second device while a first communication unit and a second communication unit with each other, determining a first generation unit to be a generation unit, when the amount of electricity thus calculated is smaller than a predetermined amount, out of the first generation unit that generates navigation information based on information acquired by an information acquisition unit and a second generation unit, and controlling the second device so as to stop supplying power to the second generation unit and to output the navigation information generated by the first generation unit when the first generation unit is determined.

Communication device, mobile terminal, medium, information generation method, and system

An information processing apparatus includes a first detector that detects a scheduled starting time of an event to be corrected and executed at the current time or thereafter; a second detector that detects in processing contents differing from that of the event detected by the first detector, a scheduled starting time of each event to be executed at the current time or thereafter; a calculator that calculates the difference between the scheduled starting time detected by the first detector and each scheduled starting time detected by the second detector; a determiner that determines a target event for the event to be corrected, based on the calculated differences; and a corrector that corrects the scheduled starting time of the event to be corrected such that an interval becomes short between the scheduled starting time of the event to be corrected and the scheduled starting time of the target event.

Information processing apparatus, power control method, and computer product

A non-transitory, computer-readable recording medium stores therein a verification support program that causes a computer to execute identifying from a finite state machine model related to a circuit-under-test, an input count of transitions to a transition-end state and an output count of transitions from the transition-end state; determining the transition-end state to be a record/restore subject, if the identified output transition&#x3e;the identified input transition count; embedding record-instruction information causing the record/restore subject to be recorded to a database, if a first element causing transition to the record/restore subject is included in a first test scenario that is in a test scenario group related to the circuit-under-test; and embedding restore-instruction information causing the record-restore subject to be restored from the database, if a second element causing transition to the record-restore subject is included in a series of elements making up a second test scenario that is in the test scenario group.

Verification support computer product, apparatus, and method

A verification support program that causes a computer to execute identifying from a finite state machine model related to a circuit-under-test, an input count of transitions to a transition-end state and an output count of transitions from the transition-end state; determining the transition-end state to be a record/restore subject, if the identified output transition is greater than the identified input transition count; embedding record-instruction information causing the record/restore subject to be recorded to a database, if a first element causing transition to the record/restore subject is included in a first test scenario that is in a test scenario group related to the circuit-under-test; and embedding restore-instruction information causing the record-restore subject to be restored from the database, if a second element causing transition to the record-restore subject is included in a series of elements making up a second test scenario that is in the test scenario group.

A mobile terminal device receives information related to a push email service from a mail server, a calendar server, and a phone book server that provide the push email service via a wireless communication network. The mobile terminal device stores therein setting information that indicates whether the information related to the push email service is received at the time of the standby state. Furthermore, the mobile terminal device determines whether to shift the state of the mobile terminal device to a standby state. If the mobile terminal device determines that the mobile terminal device will shift its state to a standby state, the mobile terminal device transmits, on the basis of the stored setting information, a setting notification that instructs the stopping of the push email service to the mail server, the calendar server, and the phone book server.

Mobile terminal device, communication system, communication program, and control method

In a design verification apparatus, a priority resolver selects one or more verification datasets for verifying a procedure described in a design specification of a target product, in response to a verification request for that procedure. The priority resolver determines a priority score of each parameter that the selected verification datasets specify as a constraint on the procedure. A verification order resolver determines a verification order of the selected verification datasets, based on the priority scores determined by the priority resolver. An output processor produces data identifying the verification datasets, together with indication of the determined verification order.

Verification apparatus and design verification program

A verification target register to be verified is specified from a configuration of a verification target circuit, and patterns requiring verification are extracted as a coverage standard with regard to the specified verification target register. When the patterns are extracted, a DIRW matrix is prepared to indicate possibly occurring state transitions among four states Declare, Initialize, Read, and Write in the register included in the verification target circuit, and used to decide two coverage standards, a matrix coverage standard and an implementation coverage standard.

Verification supporting system

A verification support apparatus and method are provided. The verification support apparatus executing a simulation controlling a communication between a first hardware model in communication with a bus model and adapted to the same first specifications as the bus model, and a second hardware model in communication with the bus model and adapted to second specifications differing from those of the bus model, the apparatus includes a reception unit that receives data based on the second specifications from the second hardware model, a conversion unit that, based on the first specifications, converts the data received by the reception unit into data adapted to the first specifications; and a transmission unit that transmits the data converted by the conversion unit, via the bus model, to a hardware model which is a transmission destination.

Computer-readable recording medium storing verification support program, verification support apparatus, and verification support method for supporting verification of hardware system design including different hardware models

Growing community of inventors

Kawasaki, Japan

Ryosuke Oishi