• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Dynamic Software Updating (2001)

Cached

  • Download as a PDF

Download Links

  • [www.cs.umd.edu]
  • [www.cs.umd.edu]
  • [www.cl.cam.ac.uk]
  • [www.cs.umd.edu]
  • [www.cs.umd.edu]
  • [www.cis.upenn.edu]
  • [www.cis.upenn.edu]
  • [www.cis.upenn.edu]
  • [www.cis.upenn.edu]
  • [www.cis.upenn.edu]
  • [www.cl.cam.ac.uk]
  • [www.cl.cam.ac.uk]
  • [www.sics.se]
  • [www.cl.cam.ac.uk]
  • [research.microsoft.com]
  • [www.research.microsoft.com]
  • [research.microsoft.com]
  • [www.cs.umd.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Michael Hicks
Citations:154 - 26 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Hicks01dynamicsoftware,
    author = {Michael Hicks},
    title = {Dynamic Software Updating},
    year = {2001}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Citations

1023 The Java Virtual Machine Specification - Lindholm, Yellin - 1996
1016 Proof-carrying code - Necula - 1997
733 The Java Programming Language - Arnold, Gosling - 1996
728 The Click modular router - Kohler, Morris, et al. - 2000
573 The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
557 From system F to typed assembly language - Morrisett, Walker, et al. - 1999
537 The protection of information in computer systems - Saltzer, Schroeder - 1975
455 Extended static checking for Java - Flanagan, Leino, et al.
434 A Survey of Active Network Research - Tennenhouse, Smith, et al. - 1997
392 safety and performance in the SPIN operating system - BERSHAD, SAVAGE, et al. - 1995
381 Safe Kernel Extensions without Run-time Checking - Necula, Lee
339 ANTS: A Toolkit for Building and Dynamically Deploying Network Protocols - Wetherall, Guttag, et al. - 1998
267 G.D.: Abstract types have existential types - Mitchell, Plotkin - 1988
266 Garbage Collection in an Uncooperative Environment - Boehm, Weiser - 1988
252 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
251 A type-theoretic approach to higher-order modules - Harper, Lillibridge - 1994
251 Libckpt: Transparent Checkpointing under Unix - Plank, Beck, et al. - 1995
249 httperf: A tool for measuring web server performance - Mosberger, Tin - 1998
231 Distributed programming in Argus - Liskov - 1988
226 The evolving philosophers problem: Dynamic change management - Kramer, Magee - 1990
208 Manifest types, modules, and separate compilation - Leroy - 1994
195 Une extension de l’interprétation de Gödel à l’analyse et son application à l’élimination des coupures dans l’analyse et la théorie des types - Girard - 1970
194 An API for Runtime Code Patching - Buck, Hollingsworth - 2000
174 Units: Cool modules for HOT languages - Flatt, Felleisen - 1998
156 Simple type-theoretic foundations for object-oriented programming - Pierce, Turner - 1994
151 EROS: A fast capability system - Shapiro, Smith, et al.
147 PLAN: A packet language for active networks - Hicks, Kakkar, et al. - 1998
146 Constructinc Distributed Systems in Conic - Magee, Kramer, et al. - 1989
146 Typed closure conversion - Minamide, Morrisett, et al. - 1996
143 TALx86: A realistic typed assembly language - MORRISETT, CRARY, et al. - 1999
136 Program Fragments, Linking, and Modularization - Cardelli - 1997
132 Intensional polymorphism in type-erasure semantics - Crary, Weirich, et al. - 1998
130 Higher-order modules and the phase distinction - Harper, Mitchell, et al. - 1990
128 Alias types for recursive data structures - Walker, Morrisett - 2000
125 The rsync algorithm - Tridgell, Mackerras - 1997
121 Dynamic configuration for distributed systems - Kramer, Magee - 1985
121 Concurrent Programming in ML - Reppy - 1999
120 A Certifying Compiler for Java - Colby, Lee, et al. - 2000
112 O’Toole Jr. Exokernel: an operating system architecture for application-level resource management - Engler, Kaashoek, et al. - 1995
105 Design of the programming language Forsythe - Reynolds - 1996
92 Dynamic typing in polymorphic languages - Abadi, Cardelli, et al. - 1995
87 Concurrent Programming in Erlang - Armstrong, Virding, et al. - 1996
82 Type-Safe Delegation for Run-Time Component Adaptation - Kniesel - 1999
81 Runtime Support for Type-safe dynamic Java Classes - Malabarba, Pandey, et al. - 2000
78 Dynamic typing in a statically-typed language - Abadi, Cardelli, et al. - 1989
75 A survey of process migration mechanisms - Smith - 1988
70 Cheat-proof playout for centralized and distributed online games - Baughman, Levine - 2001
66 A Formal Framework for On-line Software Version Change - Gupta, Jalote, et al. - 1996
60 A history of Erlang - Armstrong - 2007
60 Tornado: Maximizing locality and concurrency in a shared memory multiprocessor operating system - GAMSA, KRIEGER, et al. - 1999
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University