Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2006-03-07
2006-03-07
Zhen, Wei Y. (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
Reexamination Certificate
active
07010783
ABSTRACT:
A method for reducing dynamic memory allocation includes designing a software program using a memory allocation module for allocating memory, analyzing the software program to determine a bound on dynamic memory allocation and modifying the program based on the analyzing. According to one aspect, the program is modified to use static memory allocation in lieu of dynamic memory allocation based on the analyzing. According to another aspect, the program is modified to reduce the amount of dynamically allocated memory based on the analyzing.
REFERENCES:
patent: 4734568 (1988-03-01), Watanabe
patent: 5107418 (1992-04-01), Cramer et al.
patent: 5384749 (1995-01-01), Lisart et al.
patent: 5423027 (1995-06-01), Jackson
patent: 5615137 (1997-03-01), Holzmann et al.
patent: 5650948 (1997-07-01), Gafter
patent: 5659754 (1997-08-01), Grove et al.
patent: 5668999 (1997-09-01), Gosling
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5748964 (1998-05-01), Gosling
patent: 5790859 (1998-08-01), Sarkar
patent: 5802519 (1998-09-01), de Jong
patent: 5836014 (1998-11-01), Faiman, Jr.
patent: 5887161 (1999-03-01), Cheong et al.
patent: 5968169 (1999-10-01), Pickett
patent: 5974255 (1999-10-01), Gossain et al.
patent: 6038397 (2000-03-01), Iwanishi et al.
patent: 6052690 (2000-04-01), de Jong
patent: 6094656 (2000-07-01), De Jong
patent: 6282700 (2001-08-01), Grover et al.
patent: 6292874 (2001-09-01), Barnett
patent: 6349344 (2002-02-01), Sauntry et al.
patent: 6463581 (2002-10-01), Bacon et al.
patent: 6526571 (2003-02-01), Aizikowitz et al.
patent: 6604190 (2003-08-01), Tran
patent: 6684261 (2004-01-01), Orton et al.
patent: 6718485 (2004-04-01), Reiser
patent: 6735758 (2004-05-01), Berry et al.
patent: 2002/0019969 (2002-02-01), Hellestrand et al.
patent: 2002/0097269 (2002-07-01), Batcha et al.
patent: 2002/0147903 (2002-10-01), Hubert et al.
patent: 2003/0097581 (2003-05-01), Zimmer
patent: 2004/0015920 (2004-01-01), Schmidt
patent: 2004/0103416 (2004-05-01), Orton et al.
patent: 0 390 339 (1990-10-01), None
patent: 0 543 588 (1993-05-01), None
patent: 0 605 872 (1994-07-01), None
patent: 0 751 458 (1997-01-01), None
patent: 0 821 305 (1998-01-01), None
patent: 1 056 002 (2000-11-01), None
patent: 2 806 813 (2000-03-01), None
patent: 94/24673 (1994-10-01), None
patent: 98/19237 (1998-05-01), None
patent: 99/24944 (1999-05-01), None
Pieter H. Hartel, “Formalizing the Safety of Java, the Java Virtual Machine, and Java Card”, ACM, Dec. 2001.
Allen, et al., “A Program Data Flow Analysis Procedure”, Mar. 76', Comm. of the ACM, vol. 19, No. pp. 137-147.
Back, G. et al., “Java Operating Systems”, Design and Implementation, Technical Report UUCS-98-015, Online!, Aug. 6, 1998, Dept. of Computer Science, Univ. of Utah, US (located at http://www,cs-tr.cornell.edu:80/Dienst/UI/1.0/Display
cstrl.utahcs/UUCS098-015).
Dreifus, H., Smart Cards; A Guide to Building and Managing Smart Card Applications; Copyright 1998; Publisher Robert Ipsen' “Smart Card Development Skills, Methods, and Tools”; pp. 159-176;224-225.
Hecht, et al., “A Simple Algorithm for Global Data Flow Analysis Problems”, Dec. 1975, SIAM Journal of Computing, vol. 4, No. 4, pp. 519-532.
Heiss, J. et al., “Java Card™ Technology Grows Up Smart”, printed on Apr. 22, 2000 at http://java.sum.com/features/1990/01/javacard.html, 5 pages.
Helaihel, et al., “Java as a Specification Language for Hardware-Software Systems”, IEEE 1997 (0-89791-993), pp 8.
Kennedy, K., “A Global Flow Analysis Algorithm”, 71', Intl. Journal of Comp. Math Sect. A., vol. 3, pp. 5-15.
Thomas David, J., “Smart and Smarter: The Emergence of Java Card™ Technology”, printed on Apr. 22, 2000 from http://java/sun.com/features/1998/04/javacard.html, pp 1-8.
Sun Microsystems, Inc., “Java TM Card TM Runtime Environment (JCRE) 2.1 Specification-Draft 2”, printed Dec. 4, 1998m YS XO002138793 cited in the application p. 6-2 p. 6-10.
Sun Microsystems, Inc., “Smart Cards: A primer”, printed on Apr. 22, 2000 from http://www.javaworld.com/javaworld/jw-12-19—b97/f—jw-12-javadev—p.html, pp 1-13.
Sun Microsystems, Inc., “Java Card™ 2.1 Runtime Environment (JCRE) Specification”, Jun. 7, 1999, Final Revision 1.1.
Aho, et al., Code Optimization, Mar. 1988, Compilers-Principles, Techniques, and Tools, Addison-Wesley Publishing Co., Chapter 10, pp. 585-722.
Chan, “Infrastructure of Multi-Application Smart Card”, http://home.hkstar.com/˜alanchan/papers/multiApplicationSmartCard/, Jul. 25, 2002.
Chen, Zhiqun, “Java Card™ Technology for Smart Cards”,Sun Microsystems, pp. 11- Jun. 16, 2000.
Philips Semiconductor, “Designers offered first 16-bit smart card IC architecture with development tools”, Press Release, Jul 25, 2002.
Ritchey, Tim, “Advanced Topics: The Java Virtual Machine”,Java!, Chapter 14, pp. 25-346, Sep. 22, 1995.
Sun Microsystems, Inc., “Java Card™ 2.0 Language Subset and Virtual Machine Specification”, Oct. 13, 1997, Revision 1.0 Final.
Sun Microsystems, Inc., “Java Card™ 2.0 Programming Concepts”, Oct. 15, 1997, Revision 1.0 Final.
“Sun Delivers On Vision to Bring JAVA Technology to the Consumer and Embedded Market”, Business Wire, Sep. 28, 1999.
“Sun Microsystems Announces JAVACARD API”, Business Wire, Oct. 1996.
Sun Microsystems: “Sun's JAVA Technology Leads Open Worldwide Market for Smart Cards”, M2, Presswire, May 1999.
“Memory Corruption Debugging System”, IBM Technical Disclosure Bulletin, IBM COrp., N.Y., Jan. 1, 1995, XP000498811, vol. 38, No. 1, pp. 395-400.
“Pseudo-Dynamic Algorithm for Computer Memory Allocation”, IBM Technical Disclosure Bulletin, IBM Corp., N.Y., Sep. 1, 1993, vol. 36, No. 9A, XP000396177, pp. 597-599.
A. Johan Cockx, “Whole Program Comilation for Embedded Software: The ADSL Experiment”, Apr. 25-27, 2001, pp. 214-218.
International Search Report, PCT/FR 03/08508, International filing date Mar. 17, 2003.
International Search Report, PCT/FR 03/08506, International filing date Mar. 17, 2003, Search Report mailed Mar. 17, 2004.
Qian et al., “A Formal Specification of Java™ Class Loading”,CiteSeer, pp. 1-47, Jul. 2000.
Cap et al., “Extending the data storage capabilities of a Java-based smartcard”,IEEE, pp 680-685, Jul. 2001.
Togethersoft Corporation, “Together Documentation Set: Together Getting Started Guide version 4.2”,Online Manual, p. 26, line 1-4, [Online] 2000. (XP002292559).
Attali, I. et al., “Smart Tools for Java Cards”,Fourth Working Conference on Smart Card Research and Advanced Applications Bristol UK, pp. 155-174, [Online] Sep. 20, 2000. (XP002292560).
Martin, H. et al., “Automatic Test Generation for Java-Card Applets”,Java on Smart Cards Programming and Security, Cannes, France, pp. 121-136, [Online] Sep. 14, 2000. (XP002292561).
Aho, A. et al., “Compilers Principles, Techniques, and Tools”, Addison-Wesley Publishing Co, US, pp. 1-646, 1986. (XP002941830).
Vendicator, “Stack Shield Technical Info File v0.7”, paragraph 5, [Online] Jan. 7, 2000. (XP002292774).
Chiueh, T. et al., “RAD: A Compile-Time Solution to Buffer Overflow Attacks”,IEEE 21stInternational Conference on Distributed Computing Systems, Phoenix, AZ, USA, pp. 409-417, [Online] Apr. 16, 2001. (XP002292775).
Baentsch, M. et al., “Javacard- From Hype to Reality”,IEEE Concurrency, vol. 7, No. 4, IEEE Service Center, Piscataway, NY, US, pp. 36-43, Oct. 1999. (XP000873322).
Dean, Jeffrey, “ProfileMe: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors”,IEEE1072-451/97.
Dolby, Julian, “Automatic Inline Allocation of Objects”, Concurrent Systems Architecture Group, Department of Computer Science, University
Gunnison McKay & Hodgson, L.L.P.
Sun Microsystems Inc.
Zhen Wei Y.
LandOfFree
Method and apparatus for deployment of high integrity... 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 apparatus for deployment of high integrity..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for deployment of high integrity... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3601512