Data processing: software development – installation – and managem – Software program development tool
Reexamination Certificate
2002-01-31
2008-12-09
Bullock, Jr., Lewis A. (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
C717S104000, C717S120000, C718S102000
Reexamination Certificate
active
07464365
ABSTRACT:
A movability determining section checks the movability of an descriptive element comprised in a specification having a hierarchical structure. The descriptive element of which the movability is checked is moved in the hierarchical structure by a specification moving section. For the movement, a preparation is made as follows. The specification moving section, if necessary, moves a communication channel included in the descriptive element to make sure that a constraint with respect to the level to which the communication channel belongs is satisfied after the movement. After the preparation, the specification moving section moves a behavior included in the descriptive element upward/downward across levels in the hierarchical structure. A specification correcting section corrects the specification so as not to violate an execution order constraint.
REFERENCES:
patent: 4800521 (1989-01-01), Carter et al.
patent: 5598559 (1997-01-01), Chaudhuri
patent: 5758032 (1998-05-01), Sanders
patent: 5874955 (1999-02-01), Rogowitz et al.
patent: 6021266 (2000-02-01), Kay
patent: 6023583 (2000-02-01), Honda
patent: 6152612 (2000-11-01), Liao et al.
patent: 6266764 (2001-07-01), Okamoto
patent: 6490545 (2002-12-01), Peng
patent: 6651163 (2003-11-01), Kranich et al.
patent: 6980941 (2005-12-01), Iwamasa
patent: 7051317 (2006-05-01), Vazquez et al.
patent: 2007/0006231 (2007-01-01), Wang et al.
A software/hardware co-design methodology for embedded microprocessor core design□□“A software/hardware co-design methodology for embedded microprocessor core design” Yong Zhang et al.; IEEE Transactions, vol. 45, Iss.4, Nov. 1999 pp. 1241-1246□□.
Helaihel, Olukotun “Java as a Specification Language for Hardware-Software Systems” Nov. 1997 ICCAD'97.
Knapp, MacMillen, Miller “Behavioral Synthesis Methodology for HDL-Based Specification and Validation” 1995 ACM.
IEEE “The Authoritative Dictionary of IEEE Standards and Terms”, p. 504.
El-Ghazawi et al. “UPC Language Specifications V1.0” Feb. 2001 pp. 1-40.
Lea “A Java Fork/Join Framework” 2000, ACM 2000 conference of Java Grande, pp. 36-43.
Akito Kadota, et al., “Proposition of Method of Making Program Including Loop Difficult to Read”, IEICE Journal (Information/System I-Computer), The Institute Of Electronics, Information and Communication Engineers, Jul. 25, 1997, vol. J80-D-I, No. 7, pp. 644 to 652.
Araki D. Ishii, et al., “Rapid Prototyping with HW/SW codesign tool”, Engineering of Computer-Based Systems, Proceedings. ECBS '99. IEEE Conference and Workshop on Mar. 1999, pp. 114-121.
J. Zhu, et al., “Syntax and Semantics of the SpecC Language”, In Proceedings on the Seventh Workshop on Synthesis and System Integration of Mixed Technologies, Dec. 1997.
Ishii Tadatoshi
Iwamasa Mikito
Bullock, Jr. Lewis A.
Kabushiki Kaisha Toshiba
Mitchell Jason
Oblon & Spivak, McClelland, Maier & Neustadt P.C.
LandOfFree
Method and computer program product for operating a... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and computer program product for operating a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and computer program product for operating a... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4043708