메뉴 건너뛰기




Volumn , Issue , 2011, Pages 113-124

Program analysis for event-based distributed systems

Author keywords

correlation; distributed; event; language; program analysis

Indexed keywords

CAUSALITY ANALYSIS; CO-LOCATED; COMPILATION PROCESS; DISTRIBUTED; DISTRIBUTED APPLICATIONS; DISTRIBUTED SYSTEMS; EVENT; EVENT-BASED; LANGUAGE; LANGUAGE EXTENSIONS; PERFORMANCE BENEFITS; PROGRAM ANALYSIS; PROGRAMMING LANGUAGE;

EID: 80051917340     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2002259.2002278     Document Type: Conference Paper
Times cited : (14)

References (43)
  • 1
    • 80051936593 scopus 로고    scopus 로고
    • www.streambase.com.
  • 5
    • 33745289988 scopus 로고    scopus 로고
    • The CQL Continuous Query Language: Semantic Foundations and Query Execution
    • A. Arasu, S. Babu, and J. Widom. The CQL Continuous Query Language: Semantic Foundations and Query Execution. The VLDB Journal, 15(2), 2006.
    • (2006) The VLDB Journal , vol.15 , Issue.2
    • Arasu, A.1    Babu, S.2    Widom, J.3
  • 7
    • 11344295053 scopus 로고    scopus 로고
    • Modern Concurrency Abstractions for C#
    • N. Benton, L. Cardelli, and C. Fournet. Modern Concurrency Abstractions for C#. ACM TOPLAS, 26(5), 2004.
    • (2004) ACM TOPLAS , vol.26 , Issue.5
    • Benton, N.1    Cardelli, L.2    Fournet, C.3
  • 9
    • 0032158291 scopus 로고    scopus 로고
    • Concurrency, Distribution and Parallelism in Object-Oriented Programming
    • J.-P. Briot, R. Guerraoui, and K. Löhr. Concurrency, Distribution and Parallelism in Object-Oriented Programming. ACM Computing Surveys, 30(3), 1998.
    • (1998) ACM Computing Surveys , vol.30 , Issue.3
    • Briot, J.-P.1    Guerraoui, R.2    Löhr, K.3
  • 10
    • 0001655450 scopus 로고    scopus 로고
    • Design and Evaluation of a Wide Area Event Notification Service
    • A. Carzaniga, D. Rosenblum, and A. Wolf. Design and Evaluation of a Wide Area Event Notification Service. ACM TOCS, 19(3), 2001.
    • (2001) ACM TOCS , vol.19 , Issue.3
    • Carzaniga, A.1    Rosenblum, D.2    Wolf, A.3
  • 11
    • 80051939603 scopus 로고    scopus 로고
    • Responders: Language Support for Interactive Applications
    • B. Chin and T. D. Millstein. Responders: Language Support for Interactive Applications. In ECOOP'06.
    • ECOOP'06
    • Chin, B.1    Millstein, T.D.2
  • 12
    • 0035440934 scopus 로고    scopus 로고
    • The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS
    • G. Cugola, E. D. Nitto, and A. Fuggetta. The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS. IEEE TSE, 27(9), 2001.
    • (2001) IEEE TSE , vol.27 , Issue.9
    • Cugola, G.1    Nitto, E.D.2    Fuggetta, A.3
  • 14
    • 33846609442 scopus 로고    scopus 로고
    • Type-based Publish/Subscribe: Concepts and Experiences
    • P. Eugster. Type-based Publish/Subscribe: Concepts and Experiences. ACM TOPLAS, 29(1), 2007.
    • (2007) ACM TOPLAS , vol.29 , Issue.1
    • Eugster, P.1
  • 15
    • 84875971963 scopus 로고    scopus 로고
    • EventJava: An Extension of Java for Event Correlation
    • P. Eugster and K. Jayaram. EventJava: An Extension of Java for Event Correlation. In ECOOP'09.
    • ECOOP'09
    • Eugster, P.1    Jayaram, K.2
  • 16
    • 0002276142 scopus 로고    scopus 로고
    • The Reflexive Chemical Abstract Machine and the Join Calculus
    • C. Fournet and C. Gonthier. The Reflexive Chemical Abstract Machine and the Join Calculus. In POPL'96.
    • POPL'96
    • Fournet, C.1    Gonthier, C.2
  • 18
  • 19
    • 70350648929 scopus 로고    scopus 로고
    • Implementing Joins using Extensible Pattern Matching
    • P. Haller and T. V. Cutsem. Implementing Joins using Extensible Pattern Matching. In COORDINATION'09.
    • COORDINATION'09
    • Haller, P.1    Cutsem, T.V.2
  • 20
    • 58149350265 scopus 로고    scopus 로고
    • Scala Actors: Unifying Thread-based and Event-based Programming
    • P. Haller and M. Odersky. Scala Actors: Unifying Thread-based and Event-based Programming. Theoretical Computer Science, 410(2-3), 2009.
    • (2009) Theoretical Computer Science , vol.410 , Issue.2-3
    • Haller, P.1    Odersky, M.2
  • 21
    • 79955158930 scopus 로고    scopus 로고
    • Putting Events in Context: Aspects for Event-based Distributed Programming
    • A. Holzer, L. Ziarek, K. R. Jayaram, and P. Eugster. Putting Events in Context: Aspects for Event-based Distributed Programming. In AOSD'11.
    • AOSD'11
    • Holzer, A.1    Ziarek, L.2    Jayaram, K.R.3    Eugster, P.4
  • 22
    • 33846826980 scopus 로고    scopus 로고
    • Parameterized Subscriptions in Publish/Subscribe Systems
    • Y. Huang and H. Garcia-Molina. Parameterized Subscriptions in Publish/Subscribe Systems. Data Knowl. Eng., 60, 2007.
    • (2007) Data Knowl. Eng. , vol.60
    • Huang, Y.1    Garcia-Molina, H.2
  • 23
    • 12344304596 scopus 로고    scopus 로고
    • The Expression of Common Concurrency Patterns in Join Java
    • S. V. Itzstein and D. Kearney. The Expression of Common Concurrency Patterns in Join Java. In PDPTA'04.
    • PDPTA'04
    • Itzstein, S.V.1    Kearney, D.2
  • 25
    • 84944319567 scopus 로고    scopus 로고
    • Parametric Subscriptions for Content-based Publish/Subscribe Networks
    • K. R. Jayaram, C. Jayalath, and P. Eugster. Parametric Subscriptions for Content-based Publish/Subscribe Networks. In Middleware'10.
    • Middleware'10
    • Jayaram, K.R.1    Jayalath, C.2    Eugster, P.3
  • 27
    • 0017996760 scopus 로고
    • Time, Clocks, and the Ordering of Events in a Distributed System
    • L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. CACM, 21(7), 1978.
    • (1978) CACM , vol.21 , Issue.7
    • Lamport, L.1
  • 28
    • 77955888968 scopus 로고    scopus 로고
    • Composite Subscriptions in Content-Based Publish/Subscribe Systems
    • G. Li and H.-A. Jacobsen. Composite Subscriptions in Content-Based Publish/Subscribe Systems. In Middleware '05.
    • Middleware '05
    • Li, G.1    Jacobsen, H.-A.2
  • 30
    • 14344259370 scopus 로고    scopus 로고
    • Remote Pointcut: A Language Construct for Distributed AOP
    • M. Nishizawa. Remote Pointcut: A Language Construct for Distributed AOP. In AOSD '04.
    • AOSD '04
    • Nishizawa, M.1
  • 31
    • 80051946309 scopus 로고    scopus 로고
    • The Information Bus - An Architecture for Extensible Distributed Systems
    • B. Oki, M. Pfluegl, A. Siegel, and D. Skeen. The Information Bus - An Architecture for Extensible Distributed Systems. In SOSP'93.
    • SOSP'93
    • Oki, B.1    Pfluegl, M.2    Siegel, A.3    Skeen, D.4
  • 34
    • 77954740177 scopus 로고    scopus 로고
    • Impact Analysis for Event-based Components and Systems
    • D. Popescu. Impact Analysis for Event-based Components and Systems. In ICSE'10 Doctoral Symposium.
    • ICSE'10 Doctoral Symposium
    • Popescu, D.1
  • 35
    • 67650199303 scopus 로고    scopus 로고
    • Ptolemy: A Language with Quantified, Typed Events
    • H. Rajan and G. T. Leavens. Ptolemy: A Language with Quantified, Typed Events. In ECOOP'08.
    • ECOOP'08
    • Rajan, H.1    Leavens, G.T.2
  • 36
    • 80051951229 scopus 로고    scopus 로고
    • Specialization of CML Message-passing Primitives
    • J. H. Reppy and Y. Xiao. Specialization of CML Message-passing Primitives. In POPL'07.
    • POPL'07
    • Reppy, J.H.1    Xiao, Y.2
  • 37
    • 0000703650 scopus 로고
    • Lightweight Causal and Atomic Group Multicast
    • A. Schiper, K. Birman, and P. Stephenson. Lightweight Causal and Atomic Group Multicast. ACM TOCS, 9, 1991.
    • (1991) ACM TOCS , vol.9
    • Schiper, A.1    Birman, K.2    Stephenson, P.3
  • 41
    • 85008877455 scopus 로고    scopus 로고
    • Staying FIT: E cient Load Shedding Techniques for Distributed Stream Processing
    • N. Tatbul, U. Çetintemel, and S. B. Zdonik. Staying FIT: E cient Load Shedding Techniques for Distributed Stream Processing. In VLDB'07.
    • VLDB'07
    • Tatbul, N.1    Çetintemel, U.2    Zdonik, S.B.3
  • 43
    • 0037925437 scopus 로고    scopus 로고
    • DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems
    • E. Wohlstadter, S. Jackson, and P. Devanbu. DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems. In ICSE '03.
    • ICSE '03
    • Wohlstadter, E.1    Jackson, S.2    Devanbu, P.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.