Showing 1 - 20 results of 407 for search '"Invocator"', query time: 0.08s Refine Results
  1. 1
  2. 2
  3. 3

    Pattern-Directed Invocation with Changing Equations by Feldman, Yishai A., Rich, Charles

    Published 2004
    “…The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. …”
    Get full text
  4. 4
  5. 5

    A Functional Abstraction of Typed Invocation Contexts by Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai

    Published 2022-09-01
    “…Compared to shift and reset, control and prompt exhibit a more dynamic behavior, in that they can manipulate a trail of contexts surrounding the invocation of previously captured continuations. Our key observation is that, by adopting a functional representation of trails in the CPS semantics, we can derive a type system that encodes all and only constraints imposed by the CPS semantics.…”
    Get full text
    Article
  6. 6

    PIPES: Linguistic Support for Ordered Asynchronous Invocations by Colbrook, Adrian, Brewer, Eric A., Hsieh, Wilson C., Wang, Paul, Weihl, William E.

    Published 2023
    “…Pipes allow a sequence of remote invocations to be performed in order, but asynchronously with respect to the calling thread.…”
    Get full text
  7. 7
  8. 8

    Enabling Flexible and Continuous Capability Invocation in Mobile Prosumer Environments by Ramon Alcarria, Tomas Robles, Augusto Morales, Diego López-de-Ipiña, Unai Aguilera

    Published 2012-06-01
    “…In addition, we stress the importance of the flexibility in capability invocation by allowing the communication middleware to select the access technology and change the communication paradigm when dealing with smart devices, and by describing and evaluating two algorithms for resource access management.…”
    Get full text
    Article
  9. 9

    J. Locke, Op. Cit.: Invocations of Law on Snowy Streets by Silbey, Susan S.

    Published 2014
    “…Each winter in the northern cities of the United States, a familiar scene illustrates tacit and deeply sedimented, yet common invocations of law. After a heavy snow storm, one can see old chairs, traffic cones, milk crates, light weight tables, dead house plants, or other noticeably bulky objects in recently shoveled out parking spots on an otherwise snow-filled public street. …”
    Get full text
    Article
  10. 10

    Intersectional Reflexivity: Centering Invocations and Impositions in Reflexive Accounts of Qualitative Research by Jenny K Rodriguez, Maranda Ridgway

    Published 2023-06-01
    “…The paper shows researcher-participant exchanges as sites of intersectional struggle where both researchers and participants engage in invocations and impositions of intersectional identities to navigate their positionality during interactions. …”
    Get full text
    Article
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18

    The Interaction Between Truth Maintenance, Equality, and Pattern-Directed Invocation: Issues of Completeness and Efficiency by Feldman, Yishai A., Rich, Charles

    Published 2008
    “…We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, and pattern-directed invocation. This paper reports on the solution of two technical problems arising out of the interaction between these mechanisms. …”
    Get full text
    Working Paper
  19. 19

    Enhanced Bug Prediction in JavaScript Programs with Hybrid Call-Graph Based Invocation Metrics by Gábor Antal, Zoltán Tóth, Péter Hegedűs, Rudolf Ferenc

    Published 2020-12-01
    “…Depending on the ML algorithm, applied hyper-parameters, and target measures we consider, hybrid invocation metrics bring a 2–10% increase in model performances (i.e., precision, recall, F-measure). …”
    Get full text
    Article
  20. 20

    Collective Asynchronous Remote Invocation (CARI): A High-Level and Effcient Communication API for Irregular Applications by Ahmad, Wakeel, Carpenter, Bryan, Shafi, Aamir, Shafi, Muhammad Aamir

    Published 2015
    “…We present the implementation and evaluation of one such message passing pattern (or schedule) that we term Collective Asynchronous Remote Invocation (CARI). As the name suggests, CARI is a collective variant of Remote Method Invocation (RMI), which is an attractive, high-level, and established paradigm in distributed systems programming. …”
    Get full text
    Article