Abstract: It relates to an apparatus, a device, a method, and a computer program for generating test cases for a verification of hardware instructions of a hardware device in a hypervisor. The apparatus comprises circuitry configured to generate a transition table based on a specification of the hardware device. The transition table comprises a plurality of entries. Each entry represents a change of a state of the hardware device in response to an event. The circuitry is configured to determine entries of the transition table that are equivalent. The circuitry is configured to generate a plurality of test cases based on the entries of the transition table. At least one entry of the transition table is omitted in the generation of the test cases due to being equivalent to another entry of the transition table.

Abstract: A control apparatus (10), control device, control method and computer program for controlling one or more parameters of a hypervisor (100) and an apparatus, device, method, and computer program for a virtual machine (200). The control apparatus (10) comprises circuitry configured to obtain information on respective performance targets of two or more virtual machines (200) being hosted by the hypervisor (100). The circuitry is configured to set the one or more parameters of the hypervisor (100) to one or more initial values. The circuitry is configured to obtain respective results of a benchmark being run in the two or more virtual machines (200), the results of the benchmark indicating a performance of the respective virtual machines (200) with respect to the respective performance targets, with the results of the benchmark being affected by the one or more parameters.

Abstract: A molding apparatus includes a mold and a wedge structure. The mode has a first mold member and a second mold member configured to be movable towards the first mold member along a first direction, the first and second mold members cooperating in use to form a molding cavity for encapsulating an electronic component. The wedge structure has a first wedge member attached to the second mold member and a second wedge member configured to be in contact with the first wedge member and movable in a second direction perpendicular to the first direction to adjust contacting portions between a first contacting surface of the first wedge member and a second contacting surface of the second wedge member, thereby biasing the second mold member towards the first mold member to form the molding cavity, wherein at least one of the first and second contacting surfaces includes a first protection film attached thereon.

Abstract: Examples relate to an apparatus, a device, a method, and a computer program for generating a test specification for testing software code of a function under test. The apparatus for generating the test specification for testing software code of a function under test comprises circuitry configured to extract a plurality of symbols from the software code of the function under test, generate a plurality of test vectors with corresponding sets of expected results for the function under test based on the plurality of symbols, and generate a test specification based on the plurality of test vectors and the corresponding sets of expected results.

Abstract: Examples relate to an apparatus, a device, a method and a computer program for generating code for test cases for testing a function under test. The apparatus comprises circuitry configured to obtain a diagram representation of the function under test, select a plurality of symbols of interest from the diagram representation of the function under test, the symbols of interest being based on a pre-defined set of symbols of interest, and generate, for the symbols of interest, code of a plurality of test cases based on a pre-defined set of checks related to the pre-defined symbols of interest.

Abstract: Generation of longer cDNA fragments from SAGE tags for gene identification (GLGI) is disclosed. This method converts SAGE tags, which are about 10 base pairs in length, into their corresponding 3? cDNA fragments covering hundred bases. This added information provides for more accurate genome-wide analysis and overcomes the inherent deficiencies of SAGE. The generation of longer cDNA fragments from isolated and purified protein fragments for gene identification is also disclosed. This method converts a short amino acid sequence into extended versions of the DNA sequences encoding the protein/protein fragment and additional 3? end sequences of the gene encoding the protein. This additional sequence information allows gene identification from purified protein sequences. The invention also provides a high-throughput GLGI procedure for identifying genes corresponding to a set of unidentified SAGE tags.

Abstract: A method and apparatus for parallel execution of trigger actions. One or more embodiments of the invention comprise providing a C++ class (hereinafter referred to as “dispatcher”) that can take an SQL query or trigger action and start parallel execution of the trigger action. The trigger action is optimized and parallelized. The dispatcher executes the trigger action, sets up the communication links between the various operators in the trigger action, and ensures that all the results are sent back to the trigger.

Abstract: A method, apparatus, and an article of manufacture for parallel execution of SQL operations from within user defined functions. One or more embodiments of the invention provide the user defined function (UDF) with a C++ class (hereinafter referred to as “dispatcher”) that can take an SQL query and start parallel execution of the query. The query is optimized and parallelized. The dispatcher executes the query, sets up the communication links between the various operators in the query, and ensures that all the results are sent back to the data-server that originated the query request. Further, the dispatcher merges the results of the parallel execution and produces a single stream of tuples that is fed to the calling UDF. To provide the single stream to the calling UDF, one or more embodiments of the invention utilize a class that provides the UDF with a simple and easy-to-use interface to access the results of the nested SQL execution.

Abstract: Generation of longer cDNA fragments from SAGE tags for gene identification (GLGI) is disclosed. This method converts SAGE tags, which are about 10 base pairs in length, into their corresponding 3′ cDNA fragments covering hundred bases. This added information provides for more accurate genome-wide analysis and overcomes the inherent deficiencies of SAGE. The generation of longer cDNA fragments from isolated and purified protein fragments for gene identification is also disclosed. This method converts a short amino acid sequence into extended versions of the DNA sequences encoding the protein/protein fragment and additional 3′ end sequences of the gene encoding the protein. This additional sequence information allows gene identification from purified protein sequences. The invention also provides a high-throughput GLGI procedure for identifying genes corresponding to a set of unidentified SAGE tags.

Abstract: A method, apparatus, and an article of manufacture for parallel execution of SQL operations from within user defined functions. One or more embodiments of the invention provide the user defined function (UDF) with a C++ class (hereinafter referred to as “dispatcher”) that can take an SQL query and start parallel execution of the query. The query is optimized and parallelized. The dispatcher executes the query, sets up the communication links between the various operators in the query, and ensures that all the results are sent back to the data-server that originated the query request. Further, the dispatcher merges the results of the parallel execution and produces a single stream of tuples that is fed to the calling UDF. To provide the single stream to the calling UDF, one or more embodiments of the invention utilize a class that provides the UDF with a simple and easy-to-use interface to access the results of the nested SQL execution.

Abstract: A method, apparatus, and an article of manufacture for parallel execution of SQL operations from stored procedures. One or more embodiments of the invention provide the stored procedure (stored procedure) with a C++ class (hereinafter referred to as “dispatcher”) that can take an SQL query and start parallel execution of the query. The query is optimized and parallelized. The dispatcher executes the query, sets up the communication links between the various operators in the query, and ensures that all the results are sent back to the data-server that originated the query request. Further, the dispatcher merges the results of the parallel execution and produces a single stream of tuples that is fed to the calling stored procedure. To provide the single stream to the calling stored procedure, one or more embodiments of the invention utilize a class that provides the stored procedure with a simple and easy-to-use interface to access the results of the nested SQL execution.

Abstract: A method, apparatus, and an article of manufacture for parallel execution of SQL operations from stored procedures. One or more embodiments of the invention provide the stored procedure (stored procedure) with a C++ class (hereinafter referred to as “dispatcher”) that can take an SQL query and start parallel execution of the query. The query is optimized and parallelized. The dispatcher executes the query, sets up the communication links between the various operators in the query, and ensures that all the results are sent back to the data-server that originated the query request. Further, the dispatcher merges the results of the parallel execution and produces a single stream of tuples that is fed to the calling stored procedure. To provide the single stream to the calling stored procedure, one or more embodiments of the invention utilize a class that provides the stored procedure with a simple and easy-to-use interface to access the results of the nested SQL execution.