The Experts below are selected from a list of 23670 Experts worldwide ranked by ideXlab platform

Máté Wolfram - One of the best experts on this subject based on the ideXlab platform.

  • A dependable perception-decision-Execution Cycle for autonomous robots
    2012 IEEE International Conference on Robotics and Automation, 2012
    Co-Authors: Stephan Gspandl, Gerald Steinbauer, Siegfried Podesser, Michael Reip, Máté Wolfram
    Abstract:

    The tasks robots are employed to achieve are becoming increasingly complex, demanding for dependable operation, especially if robots and humans share common space. Unfortunately, for these robots non-determinism is a severe challenge. Malfunctioning hardware, inaccurate sensors, exogenous events and incomplete knowledge lead to inconsistencies in the robot's belief about the world.

Stephan Gspandl - One of the best experts on this subject based on the ideXlab platform.

  • A dependable perception-decision-Execution Cycle for autonomous robots
    2012 IEEE International Conference on Robotics and Automation, 2012
    Co-Authors: Stephan Gspandl, Gerald Steinbauer, Siegfried Podesser, Michael Reip, Máté Wolfram
    Abstract:

    The tasks robots are employed to achieve are becoming increasingly complex, demanding for dependable operation, especially if robots and humans share common space. Unfortunately, for these robots non-determinism is a severe challenge. Malfunctioning hardware, inaccurate sensors, exogenous events and incomplete knowledge lead to inconsistencies in the robot's belief about the world.

Gerald Steinbauer - One of the best experts on this subject based on the ideXlab platform.

  • A dependable perception-decision-Execution Cycle for autonomous robots
    2012 IEEE International Conference on Robotics and Automation, 2012
    Co-Authors: Stephan Gspandl, Gerald Steinbauer, Siegfried Podesser, Michael Reip, Máté Wolfram
    Abstract:

    The tasks robots are employed to achieve are becoming increasingly complex, demanding for dependable operation, especially if robots and humans share common space. Unfortunately, for these robots non-determinism is a severe challenge. Malfunctioning hardware, inaccurate sensors, exogenous events and incomplete knowledge lead to inconsistencies in the robot's belief about the world.

  • plan Execution in dynamic environments
    Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 2005
    Co-Authors: Gordon Fraser, Gerald Steinbauer, Franz Wotawa
    Abstract:

    This paper deals with plan Execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan Execution and a representation of plans as programs, we introduce the concept of plan invariants. Plan invariants are similar to loop invariants in imperative programs in that they have to be true during the whole plan Execution Cycle. Once a plan invariant fails the plan Execution is stopped and other plans that are more appropriate in the current context are considered for Execution instead. The use of plan invariants allows for an early detection of problems. Plan assumptions that are required for a plan to succeed are explicitly represented by plan invariants.

Visser Eelco - One of the best experts on this subject based on the ideXlab platform.

  • Scopes and Frames Improve Meta-Interpreter Specialization
    LIPIcs - Leibniz International Proceedings in Informatics. 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
    Co-Authors: Vergu Vlad, Tolmach Andrew, Visser Eelco
    Abstract:

    DynSem is a domain-specific language for concise specification of the dynamic semantics of programming languages, aimed at rapid experimentation and evolution of language designs. To maintain a short definition-to-Execution Cycle, DynSem specifications are meta-interpreted. Meta-interpretation introduces runtime overhead that is difficult to remove by using interpreter optimization frameworks such as the Truffle/Graal Java tools; previous work has shown order-of-magnitude improvements from applying Truffle/Graal to a meta-interpreter, but this is still far slower than what can be achieved with a language-specific interpreter. In this paper, we show how specifying the meta-interpreter using scope graphs, which encapsulate static name binding and resolution information, produces much better optimization results from Truffle/Graal. Furthermore, we identify that JIT compilation is hindered by large numbers of calls between small polymorphic rules and we introduce rule cloning to derive larger monomorphic rules at run time as a countermeasure. Our contributions improve the performance of DynSem-derived interpreters to within an order of magnitude of a handwritten language-specific interpreter

Visser E. - One of the best experts on this subject based on the ideXlab platform.

  • Scopes and frames improve meta-interpreter specialization
    Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH Dagstuhl Publishing, 2019
    Co-Authors: Vergu V.a., Tolmach Andrew, Visser E.
    Abstract:

    DynSem is a domain-specific language for concise specification of the dynamic semantics of programming languages, aimed at rapid experimentation and evolution of language designs. To maintain a short definition-to-Execution Cycle, DynSem specifications are meta-interpreted. Meta-interpretation introduces runtime overhead that is difficult to remove by using interpreter optimization frameworks such as the Truffle/Graal Java tools; previous work has shown order-of-magnitude improvements from applying Truffle/Graal to a meta-interpreter, but this is still far slower than what can be achieved with a language-specific interpreter. In this paper, we show how specifying the meta-interpreter using scope graphs, which encapsulate static name binding and resolution information, produces much better optimization results from Truffle/Graal. Furthermore, we identify that JIT compilation is hindered by large numbers of calls between small polymorphic rules and we introduce rule cloning to derive larger monomorphic rules at run time as a countermeasure. Our contributions improve the performance of DynSem-derived interpreters to within an order of magnitude of a handwritten language-specific interpreter.Programming Language