Abstract:
PROBLEM TO BE SOLVED: To provide a code generation technique which adapt a code to dynamically modified profile information in response to the modification of profile information. SOLUTION: System configuration information is obtained. In dependence on it, a load process and a store process are performed, where they are called LoadX and StoreX, respectively. On the other hand, normal load process and store process are called load and store, respectively. Accordingly, the invention assumes a system configuration for each compile unit. Under this assumption, a load/store instruction for finding access to the normal RAM/ROM is converted not into the LoadX/StoreX instruction into the normal load/store instruction. This brings an optimization effect to compiling. An execution code obtained above is systematically registered in a two-dimensional table with an start address of a guest and an index of system configuration information as a key. This allows an optimization code obtained by searching the table to be executed in execution. COPYRIGHT: (C)2010,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To improve the efficiency of processing for outputting character strings especially as to technique for optimizing the execution of a plurality of character string output instructions included in a program. SOLUTION: The system acquires a program for outputting a text obtained by combining a plurality of output character strings by successively executing a plurality of character string output instructions, and before the execution of the program, converts a character code system of a character string constant from a first code system for internal processing into a second code system for output as to at least one character string output instruction for outputting the character string constant. During the execution of the program, the system buffers the variable values of two or more character string variables to be output by two or more character string output instructions while maintaining the first code system, collectively converts the variable values of two or more buffered character string variables from the first code system into the second code system, and then outputs the character string constant whose character code system is converted and the variable values of two or more character string variables whose character code system is converted as at least a part of the text. COPYRIGHT: (C)2008,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To provide a web application server capable of performing appropriate processing to even access from a terminal, which are not assumed when a web application is designed. SOLUTION: The web application server comprises a DLG file storage part 12 for storing a DLG file in which a job logic of a web application is described with definition of abstract expression, a DLG execution part 13 for using the DLG file to execute a job process of the web application in response to a request from a client, a view specializer 14 for producing at a JSP a view suitable to an attribute of the client based on the processing result by the DLG execution part 13, and a response generation part 16 for generating and sending back a response to the client using the view of the JSP file produced by the view specializer 14. COPYRIGHT: (C)2005,JPO&NCIPI
Abstract:
PROBLEM TO BE SOLVED: To visually and automatically prepare display rules of a structured document based on an exemplifying operation. SOLUTION: A first display rule 29 to be a base is generated from document type definition 27 of the structured document 26 and a preliminarily regulated default generation rule 28 by a base display rule generating means 21. A first display document 30 and an inter-element correspondence relation file 31 are generated from the first display rule 29 and the structured document 26 by a display document generating means 22. The first display document 30 is edited by visual display document editing environment 23 and a second display document 32 and an editing operation history file 33 are generated. The second display document 32, the editing operation history file 33, the inter-element correspondence relation file 31 and the structured document 26 are referred to and a second display rule 34 on which the editing contents are reflected is generated in a display rule updating means 24.
Abstract:
PROBLEM TO BE SOLVED: To capture a quantitative change in shape of a data structure of an arbitrary kind. SOLUTION: In a program analysis device 10, a control flow graph generation part 12 generates a control flow graph from a program stored in a program storage part 11 and stores it in a control flow graph storage part 13, an initial map generation part 14 stores correspondence information between a shape graph representing the shape of the data structure before execution of the program and the number of objects included in the data structure in a map storage part 15, a data flow equation generation part 16 generates a data flow equation from the control flow graph stored in the control flow graph storage part 13 and stores it in a data flow equation storage part 17, and a map update part 18 updates the correspondence information stored in the map storage part 15 based on the data flow equation stored in the data flow equation storage part 17. COPYRIGHT: (C)2010,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To update a view by dynamically reflecting alteration to a converting model in a model and view at the destination of conversion in the case of using a view of another application from a designated model using model conversion. SOLUTION: This application editing device edits application individually having a model and a view. The device is provided with an application A executing part 10 for editing a first model in the application, a model converter 20 for converting the first model to a second model, and an application B executing part 30 for displaying the second model at its view on a display device. The application B executing part 30 is provided with an event generating part 32 for generating an event according to updating of the second model when the second model is updated. According to the event generated by the event generating part 32, a view displayed on the display device is altered.
Abstract:
PROBLEM TO BE SOLVED: To improve operation speed of simulation by conforming synchronization timing between logic blocks connected to each other. SOLUTION: In a simulation system having a plurality of peripherals communicating with each other, a weighted graph wherein communication times are set as weights, wherein the peripherals are set as nodes, and wherein connection paths are set as edges is configured. Among the communication times in a loop thereof, a minimum time is set as first synchronization timing, timing wherein an acceptable delay is added is set as second synchronization timing, and timing designated by a user to be longer than the first and second timing is set as third synchronization timing. The third synchronization timing is used in a portion where the timing is usable, so that the peripherals are synchronized in the longest possible synchronization timing. COPYRIGHT: (C)2011,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To more efficiently determine whether or not a program violates protocols than before. SOLUTION: This device for determining violation against the protocols of the program has: an input part which accepts input of an object program to be an object for determining violation against the protocols; a violation storage part which preliminarily stores an abstract syntax tree or a pattern indicating structure of the program which violates the protocols; a conversion part which converts the abstract syntax tree of the object program into a conversion tree by a predetermined conversion rule and a determination part which determines that the object program violates the protocols on condition that at least a part of the conversion tree matches the abstract syntax tree which violates the protocols. COPYRIGHT: (C)2007,JPO&INPIT
Abstract:
PROBLEM TO BE SOLVED: To provide a technology which can shorten time required for processing in generating dynamic contents by JSP or the like. SOLUTION: A device which generates a dynamic contents creating program is internally assumed to deal with texts by expressing them with prescribed generic character encoding. This device is provided with a means to generate a program which creates dynamic contents based on a prescribed file including a static text for constituting a static section of the contents, and a means to prepare information on character codes by character encoding for contents on static texts so as to be utilized by a program beforehand (steps 36 and 37). COPYRIGHT: (C)2006,JPO&NCIPI
Abstract:
PROBLEM TO BE SOLVED: To provide automatic division algorithm capable of dividing the form into the one that is easily operated by a user and error correction is easily performed when an input error occurs in the case of providing a form to a terminal with low capability such as small display screen. SOLUTION: In a Web server 10 which generates display control information so that division display of the form is performed in a form suitable for a client device 50 which the user uses, it has an HTTP request acceptance part 12 which receives a form request from the client device 50, an application code DB31 which stores screen definition of the form to which the form request is made and a code of a verification machine which executes verification of an input value inputted in an input item in the form, a form division part 21 which divides the form using the screen definition of the read form and the code of the verification machine according to acquired terminal capability and screen generation part 22 which generates screen information displayed on the client device 50 from a division result. COPYRIGHT: (C)2005,JPO&NCIPI