Michael B Greenwald
Michael B Greenwald
Assistant Professor of Computer and Information Science, University of Pennslyvania
Потвърден имейл адрес: cis.upenn.edu
ЗаглавиеПозоваванияГодина
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
JN Foster, MB Greenwald, JT Moore, BC Pierce, A Schmitt
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (3), 17, 2007
5612007
Space-efficient online computation of quantile summaries
M Greenwald, S Khanna
ACM SIGMOD Record 30 (2), 58-66, 2001
5462001
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
JN Foster, MB Greenwald, JT Moore, BC Pierce, A Schmitt
ACM SIGPLAN Notices 40 (1), 233-246, 2005
2962005
Exchange-based incentive mechanisms for peer-to-peer file sharing
KG Anagnostakis, MB Greenwald
24th International Conference on Distributed Computing Systems, 2004 …, 2004
2012004
The synergy between non-blocking synchronization and operating system structure
M Greenwald, D Cheriton
ACM SIGOPS Operating Systems Review 30 (si), 123-136, 1996
1951996
Power-conserving computation of order-statistics over sensor networks
MB Greenwald, S Khanna
Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004
1932004
Non-blocking synchronization and system design
MB Greenwald, DR Cheriton
Stanford University 99 (1624), 1999
1471999
cing: Measuring network-internal delays using only existing infrastructure
KG Anagnostakis, M Greenwald, RS Ryger
IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE …, 2003
1192003
Performance of checksums and CRCs over real data
J Stone, M Greenwald, C Partridge, J Hughes
IEEE/ACM Transactions on Networking 6 (5), 529-543, 1998
981998
A cooperative immunization system for an untrusting internet
KG Anagnostakis, MB Greenwald, S Ioannidis, AD Keromytis, D Li
The 11th IEEE International Conference on Networks, 2003. ICON2003., 403-408, 2003
912003
Designing an academic firewall: Policy, practice, and experience with surf
M Greenwald, SK Singhal, JR Stone, DR Cheriton
Proceedings of Internet Society Symposium on Network and Distributed Systems …, 1996
911996
Efficient packet monitoring for network management
KG Anagnostakis, S Ioannidis, S Miltchev, M Greenwald, JM Smith, ...
NOMS 2002. IEEE/IFIP Network Operations and Management Symposium.'Management …, 2002
862002
The STRONGMAN architecture
AD Keromytis, S Ioannidis, MB Greenwald, JM Smith
Proceedings DARPA Information Survivability Conference and Exposition 1, 178-188, 2003
682003
Two-handed emulation: how to build non-blocking implementations of complex data-structures using DCAS
M Greenwald
Proceedings of the twenty-first annual symposium on Principles of …, 2002
682002
Exploiting schemas in data synchronization
JN Foster, MB Greenwald, C Kirkegaard, BC Pierce, A Schmitt
Journal of Computer and System Sciences 73 (4), 669-689, 2007
532007
Formal modeling and analysis of DoS using probabilistic rewrite theories
G Agha, C Gunter, M Greenwald, S Khanna, J Meseguer, K Sen, P Thati
Workshop on Foundations of Computer Security (FCS’05) 20, 2005
452005
Open packet monitoring on FLAME: Safety, performance, and applications
KG Anagnostakis, M Greenwald, S Ioannidis, S Miltchev
IFIP International Working Conference on Active Networks, 120-131, 2002
402002
A language for bi-directional tree transformations
MB Greenwald, JT Moore, BC Pierce, A Schmitt
Pat 333, 4444, 2003
372003
On the sensitivity of network simulation to topology
KG Anagnostakis, MB Greenwald, RS Ryger
Proceedings. 10th IEEE International Symposium on Modeling, Analysis and …, 2002
332002
Bringing Harmony to optimism: A synchronization framework for heterogeneous tree-structured data
BC Pierce, A Schmitt, MB Greenwald
Technical Report MS-CIS-03-42, University of Pennsylvania, 2003
282003
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20