[ACM Press the 1st international conference - San Francisco, California (2003.05.05-2003.05.08)] Proceedings of the 1st international conference on Mobile systems, applications and services - MobiSys '03 - iMASH
- 作者Bagrodia, R.; Skow, E.; Varshney, M.; Zorpas, G.; Bhattacharyya, S.; Cheng, F.; Gerding, S.; Glazer, G.; Guy, R.; Ji, Z.; Lin, J.; Phan, T.
- 文件大小1532.46KB
- 发表时间2003
- DOI10.1145/1066116.1066124
- 页码259-272
Almost-linear inclusion for XML regular expression typesColazzo, Dario; Ghelli, Giorgio; Pardini, Luca; Sartiani, Carlo · ACM Transactions on Database Systems · 2013
A Rewrite System with Incomplete Regular Expression Type for Transformation of XML DocumentsSuzuki, Taro; Okui, Satoshi · IPSJ Digital Courier · 2005
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checkingColazzo, D.; Ghelli, G.; Pardini, L.; Sartiani, C. · Theoretical Computer Science · 2013
[ACM Press Proceeding of the 18th ACM conference - Hong Kong, China (2009.11.02-2009.11.06)] Proceeding of the 18th ACM conference on Information and knowledge management - CIKM '09 - Linear inclusion for XML regular expression typesColazzo, Dario; Ghelli, Giorgio; Pardini, Luca; Sartiani, Carlo · 2009
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007