Static analysis of large programs (invited talk) (abstract only)
- 期刊名称ACM SIGPLAN Notices
- 作者Das, Manuvir
- 卷第34卷
- 期第11期
- 印刷ISSN0362-1340
- 文件大小603.51KB
- 发表时间1999-11-01
- DOI10.1145/328691.328692
A middleware architecture to facilitate distributed programming: DAROC: Data-Activated Replicated Object CommunicationsBrian M. Stack; Gene Hsiao; Stephen F. Jenks · 2006
[IEEE Comput. Soc. Press Ninth Symposium on Reliable Distributed Systems - Huntsville, AL, USA (9-12 Oct. 1990)] Proceedings Ninth Symposium on Reliable Distributed Systems - Preventing state divergence in replicated distributed programsTulley, A.; Shrivastava, S.K. · 1990
[IEEE Second Euromicro Workshop on Parallel and Distributed Processing - Malaga, Spain (January 26-28,1994)] Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing - Reduced Markov Models Of Parallel Programs With Replicated ProcessesSiegle, M. · 1994
[ACM Press the tenth ACM symposium - Orcas Island, Washington, United States (1985..-..)] Proceedings of the tenth ACM symposium on Operating systems principles - SOSP '85 - Replicated distributed programsCooper, Eric C. · 1985
[IEEE Comput. Soc. Press Eighth Symposium on Reliable Distributed Systems - Seattle, WA, USA (10-12 Oct. 1989)] Proceedings of the Eighth Symposium on Reliable Distributed Systems - Consistent replicated transactions: a highly reliable program execution environmentShi, S.S.B.; Belford, G.G. · 1989
[IEEE Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. - Florianpolis, Brazil (2004.10.18-2004.10.20)] Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004. - Using program analysis to identify and compensate for nondeterminism in fault-tolerant, replicated systemsSlember, J.G.; Narasimhan, P. · 2004
[ACM Press the 3rd International Workshop - Amsterdam, Netherlands (2016.11.01-2016.11.01)] Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems - REBLS 2016 - I now pronounce you reactive and consistent: handling distributed and replicated state in reactive programmingMyter, Florian; Coppieters, Tim; Scholliers, Christophe; De Meuter, Wolfgang · 2016
Vomiting in Wild Bonnet MacaquesElizabeth C. Johnson; Eric Hill; Matthew A. Cooper · 2007
Control of attention around the fovea.Juola, James F.; Bouwhuis, Don G.; Cooper, Eric E.; Warner, C. Bruce · Journal of Experimental Psychology: Human Perception and Performance · 1991
Exposure of the intramyocardial left anterior descending arteryMehmet C. Oz; Matthew M. Cooper; Thomas J. Hickey; Eric A. Rose · 1994
Toxicity of ozonated seawater to marine organismsAdam C. Jones; Robert W. Gensemer; William A. Stubblefield; Eric van Genderen; Gail M. Dethloff; William J. Cooper · 2006
CT colonography features of sigmoid diverticular diseaseMarc J. Gollub; Sujata Jhaveri; Eric Schwartz; Howard Felderman; Cathleen Cooper; Arnold J. Markowitz; Robert C. Kurtz; Howard Thaler · 2005
Book ReviewsT. R. G. Green; J. Graham Beaumont; Charles Antaki; H. C. Günzburg; Peter Morris; Andrew Steptoe; Suzy Skevington; Andrew Mayes; Christopher Macy; David J. Hargreaves; John Newson; Ian Reid; Cary L. Cooper; Jim Orford; Paul Kline; Peter Morris; Eric Taylor; B. M. Foss; David J. Hargreaves; Judy Sebba · Current Psychological Reviews · 1981
Reviews and noticesShepherd, A.; Learmonth, A. T. A.; Cooper, Malcolm; Cardew, R. V.; Woolmington, Eric; Jeans, D. N.; Irwin, P. G.; Connell, John; Ward, R. Gerard; Johnson, B. L. C.; Hermann, Robert J.; Rumley, Dennis; Walmsley, Jim; Chisholm, Michael; Smith, J. M. B.; Chartres, C. J.; Jennings, J. N.; Auliciems, Andris; Frenzel, Burkhard · Australian Geographer · 1981
RFSDong, Yuan; Zhu, Haiyang; Peng, Jinzhan; Wang, Fang; Mesnier, Michael P.; Wang, Dawei; Chan, Sun C. · ACM SIGOPS Operating Systems Review · 2011
ReVirtDunlap, George W.; King, Samuel T.; Cinar, Sukru; Basrai, Murtaza A.; Chen, Peter M. · ACM SIGOPS Operating Systems Review · 2002
The Akamai networkNygren, Erik; Sitaraman, Ramesh K.; Sun, Jennifer · ACM SIGOPS Operating Systems Review · 2010
CassandraLakshman, Avinash; Malik, Prashant · ACM SIGOPS Operating Systems Review · 2010
IntroductionHohmuth, Michael · ACM SIGOPS Operating Systems Review · 2007
TVDcBerger, Stefan; Cáceres, Ramón; Pendarakis, Dimitrios; Sailer, Reiner; Valdez, Enriquillo; Perez, Ronald; Schildhauer, Wayne; Srinivasan, Deepa · ACM SIGOPS Operating Systems Review · 2008
Dagstuhl seminar reportShraer, Alexander; Kapitza, Rüdiger · ACM SIGOPS Operating Systems Review · 2013
GlitzEllard, Daniel; Everhart, Craig; Raj, Theresa · ACM SIGOPS Operating Systems Review · 2012