LINDHOLM, T., AND YELLIN, F. The Java Virtual Machine Specification. Addison-Wesley, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Preemption-Based Avoidance of Priority Inversion for Java - Welc, Hosking, Jagannathan (2004) (Correct)
No context found.
LINDHOLM, T., AND YELLIN, F. The Java Virtual Machine Specification. Addison-Wesley, 1999.
SPMD Programming in Java - Susan Flynn Hummel (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Adison-Wesley, 1997.
Reducing Coverage Collection Overhead With Disposable.. - Kalyan-Ram.. (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 2 edition, April 1999.
A New Distributed JVM for Cluster Computing - Marcelo Lobosco Anderson (2003) (Correct)
No context found.
Lindholm, T, Yellin, F. The Java Virtual Machine Specification. Addison-Wesley, 1999.
Dusty Caches for Reference Counting Garbage Collection - Friedman, Krishnamurthy.. (2005) (Correct)
No context found.
Tom Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, Reading, Massachusetts, 1997.
L.T. Yang et al. (Eds.): HPCC 2005, LNCS 3726, pp.. - Springer-Verlag.. (2005) (Correct)
No context found.
Lindholm, T, Yellin, F. The Java Virtual Machine Specification. Addison-Wesley, 1999.
Leveraging Disposable Instrumentation to Reduce Coverage.. - Chilakamarri, Elbaum (2006) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 2 edition, 1999.
A Compiler Infrastructure for High-Performance Java - Neil Brewsq And (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. AddisonWesley, 1999.
A Modular and Extensible JVM Infrastructure - Patrick Doyle And (2002) (1 citation) (Correct)
No context found.
T. Lindholma nd F. Yellin, The Java Virtual Machine Specification, Second Edition. Addison-Wesley, 999.
Garbage Collection for MemoryConstrained - Java Virtual Machines (Correct)
No context found.
T. Lindholm and F. Yellin. The Java virtual machine specification. Addison Wesley, 1997.
The Following Paper Was Originally Published in the - Boston Massachusetts December (Correct)
No context found.
T. Lindholm and F. Yellin, "The Java Virtual Machine Specification." Addison-Wesley, 1996.
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999) (79 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1997. 27
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
Evaluation of a Resource Selection Mechanism - For Complex Network (Correct)
No context found.
T. Lidholm and F. Yellin. The Java Virtual Machine Specification, 2nd Edition. Addison-Wesley, Menlo Park, California, 1999.
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (6 citations) (Correct)
No context found.
Lindholm, T. and Yellin, F. 1996. The Java Virtual Machine Specification. Addison-Wesley, Menlo Park, CA, USA.
VM*: Synthesizing Scalable Runtime Environments for Sensor.. - Koshy, Pandey (2005) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, April 1999.
Refactoring: Current Research and Future Trends - Mens, Demeyer, Bois.. (2003) (1 citation) (Correct)
No context found.
Lindholm, T. and F. Yellin, "The Java Virtual Machine Specification," Addison Wesley, 1996.
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (7 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
Trading-Off Type-Inference Memory Complexity against .. - Hyppönen, Naccache, .. (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Specification, The Java Series, AddisonWesley, 1999.
Certification D'un Porte-Monnaie Electronique - Published In Formalisation (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, 1997.
Checking Secure Interactions of Smart Card Applets - Bieber, al. (2000) (7 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, 1997.
A Framework for Certified Program Analysis and Its.. - Chang, Chlipala, Necula (2006) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Reading, MA, USA, Jan. 1997.
The use of B for Smart Card - Jean-Louis Lanet Gemplus (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Specification, Addison Wessley 1996.
Reasoning about Hierarchical Storage - Amal Ahmed Limin (2003) (4 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
Applet Verification Strategies for RAM-Constrained Devices - Maltesson, al. (2003) (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Specification, The Java Series, Addison-Wesley, 1999.
Joeq: A virtual machine and compiler infrastructure - Whaley (2005) (5 citations) (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Specification, 2nd edition, Addison-Wesley, Reading, MA, USA, 1999.
Checking Secure Interactions of Smart Card Applets: Extended.. - Bieber, al. (2002) (7 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, 1997.
JESSICA: Java-Enabled Single-System-Image Computing Architecture - Ma, Wang, Lau (2000) (12 citations) (Correct)
No context found.
T. Lindholm and F. Yellin, The Java Virtual Machine Specification," Addison#Wesley, Reading, MA, 1996.
Reducing the Memory Complexity of Type-Inference Algorithms - Naccache, al. (2002) (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Specification, The Java Series, Addison-Wesley, 1999.
Certification D'un Porte-Monnaie Electronique - Published In Formalisation (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, 1997.
Checking Secure Interactions of Smart Card - Applets Published In (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, 1997.
The Entropia Virtual Machine for Desktop Grids - Brad Calder Andrew (1 citation) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1999.
GemClassifier, a formally developed smart card - Jean-Louis Lanet Gemplus (2002) (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Specification, Addison Wessley 1996.
Romization: Early Deployment and Customization of Java .. - Courbot, Grimaud.. (2005) (Correct)
No context found.
T. Lindholm and F. Yellin, Java Virtual Machine Specification. Addison-Wesley Longman Publishing Co., Inc., 1999.
A Preliminary Report on the Embedded Virtual Machine - Arkadeb Ghosal Marco (Correct)
No context found.
Lindholm, T., Yellin, F.: Java Virtual Machine Specification, Second Edition. Addison-Wesley (1999)
Evaluation of Obfuscation Scheme Focusing on Calling - Relationships Of Fields (2003) (Correct)
No context found.
T .Lindholm and F.Yellin", The Java Virtual Machine Specification, Pearson Education Company, 1999.
Checking Secure Information Flow in Java Bytecode.. - Bernardeschi, De.. (Correct)
No context found.
Lindholm T. and F. Yellin. The Java virtual machine specification. AddisonWesley Publishing Company, Reading, Massachusetts, 1996.
Concept Assignment as a Debugging Technique for Code Generators - Singer (2005) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 2nd edition, 1999.
The BeanChannel: Java Distributed Event Model - Kleindienst (Correct)
No context found.
Lindholm, T., Yellin, F.: The Java Virtual Machine Specification, Addison-Wesley, 1996
Efficient Bytecode Verification Using Immediate.. - Bernardeschi, De.. (Correct)
No context found.
Lindholm T. and F. Yellin. The Java virtual machine specification. Addison-Wesley Publishing Company, Reading, Massachusetts, 1996.
Nomadic Operating Systems - Hansen, Henriksen (2002) (Correct)
No context found.
Lindholm, Tim and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
A space-aware bytecode verifier for Java Cards - Bernardeschi, Lettieri.. (2005) (Correct)
No context found.
T. Lindholm and F. Yellin. Java Virtual Machine Specification, 2nd edition. Addison-Wesley Longman Publishing Co., Inc., 1999.
A space-aware bytecode verifier for Java Cards - Bernardeschi, Lettieri.. (2005) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. AddisonWesley Publishing Company, Reading, Massachusetts, 1996.
Bridging the Gap: Programming Sensor Networks with.. - Levis, Gay, Culler (2004) (1 citation) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, Second edition, 1999.
Stronger Typings for Smarter Recompilation of Java-like.. - Ancona, Lagorio (2004) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Second edition, 1999.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Second edition, 1999.
Stronger Typings for Separate Compilation of Java-like Languages - Ancona, Lagorio (2003) (6 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Second edition, 1999.
Service Discovery Solutions' Federation: A Service Broker Approach - Koponen (2002) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, Second edition, 1999.
Profile-driven Code Unloading for Resource-Constrained JVMs - Zhang, Krintz (2004) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, second edition, April 1999.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC