Margaret DeLap

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Jin Chen, Baohua Wu, Margaret DeLap, Björn Knutsson, Honghui Lu, Cristiana Amza
Locality aware dynamic load management for massively multiplayer games. PPOPP (2005)
Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis
Is runtime verification applicable to cheat detection? NETGAMES (2004)
Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic
Formalizing Java-MaC. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning
Trustless Grid Computing in ConCert. GRID (2002)