Search

Your search keyword '"Execution model"' showing total 2,147 results
Start Over Descriptor "Execution model"
2,147 results on '"Execution model"'

2. DRT: A Lightweight Runtime for Developing Benchmarks for a Dataflow Execution Model

Author

Giorgi, Roberto, Procaccini, Marco, Sahebi, Amin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hochberger, Christian, editor, Bauer, Lars, editor, and Pionteck, Thilo, editor

Published
2021
Full Text
View/download PDF

3. Using Performance Event Profiles to Deduce an Execution Model of MATLAB with Just-In-Time Compilation

Author

Kiepas, Patryk, Ancourt, Corinne, Tadonki, Claude, Koźlak, Jarosław, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Pande, Santosh, editor, and Sarkar, Vivek, editor

Published
2021
Full Text
View/download PDF

5. Execution Model to Reduce the Interference of Shared Memory in ARINC 653 Compliant Multicore RTOS.

Author

Park, Sihyeong, Kwon, Mi-Young, Kim, Hoon-Kyu, and Kim, Hyungshin

Subjects
SOFTWARE verification, MULTICORE processors, MEMORY, AVIONICS
Abstract

Multicore architecture is applied to contemporary avionics systems to deal with complex tasks. However, multicore architectures can cause interference by contention because the cores share hardware resources. This interference reduces the predictable execution time of safety-critical systems, such as avionics systems. To reduce this interference, methods of separating hardware resources or limiting capacity by core have been proposed. Existing studies have modified kernels to control hardware resources. Additionally, an execution model has been proposed that can reduce interference by adjusting the execution order of tasks without software modification. Avionics systems require several rigorous software verification procedures. Therefore, modifying existing software can be costly and time-consuming. In this work, we propose a method to apply execution models proposed in existing studies without modifying commercial real-time operating systems. We implemented the time-division multiple access (TDMA) and acquisition execution restitution (AER) execution models with pseudo-partition and message queuing on VxWorks 653. Moreover, we propose a multi-TDMA model considering the characteristics of the target hardware. For the interference analysis, we measured the L1 and L2 cache misses and the number of main memory requests. We demonstrated that the interference caused by memory sharing was reduced by at least 60% in the execution model. In particular, multi-TDMA doubled utilization compared to TDMA and also reduced the execution time by 20% compared to the AER model. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

6. Certified Universal Gathering in for Oblivious Mobile Robots

Author

Courtieu, Pierre, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gavoille, Cyril, editor, and Ilcinkas, David, editor

Published
2016
Full Text
View/download PDF

7. Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication

Author

Zhao, Yongwang, Sanán, David, Zhang, Fuyuan, Liu, Yang, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chechik, Marsha, editor, and Raskin, Jean-François, editor

Published
2016
Full Text
View/download PDF

8. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

Author

Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

9. Stateless Model Checking for POWER

Author

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Jonsson, Bengt, Leonardsson, Carl, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chaudhuri, Swarat, editor, and Farzan, Azadeh, editor

Published
2016
Full Text
View/download PDF

12. Chemistry-Inspired Adaptive Stream Processing

Author

Balderrama, Javier Rojas, Simonin, Matthieu, Tedeschi, Cédric, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Rozenberg, Grzegorz, editor, Salomaa, Arto, editor, Sempere, José M., editor, and Zandron, Claudio, editor

Published
2015
Full Text
View/download PDF

14. An Execution Model for Fine-Grained Parallelism in Ada

Author

Pinho, Luís Miguel, Moore, Brad, Michell, Stephen, Tucker Taft, S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, de la Puente, Juan Antonio, editor, and Vardanega, Tullio, editor

Published
2015
Full Text
View/download PDF

15. Towards Exascale Co-design in a Runtime System

Author

Sterling, Thomas, Anderson, Matthew, Bohan, P. Kevin, Brodowicz, Maciej, Kulkarni, Abhishek, Zhang, Bo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Markidis, Stefano, editor, and Laure, Erwin, editor

Published
2015
Full Text
View/download PDF

17. IEC 61499 in a Nutshell

Author

Yoong, Li Hsien, Roop, Partha S., Bhatti, Zeeshan E., Kuo, Matthew M. Y., Yoong, Li Hsien, Roop, Partha S., Bhatti, Zeeshan E., and Kuo, Matthew M. Y.

Published
2015
Full Text
View/download PDF

19. Towards the Transparent Execution of Compound OpenCL Computations in Multi-CPU/Multi-GPU Environments

Author

Soldado, Fábio, Alexandre, Fernando, Paulino, Hervé, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lopes, Luís, editor, Žilinskas, Julius, editor, Costan, Alexandru, editor, Cascella, Roberto G., editor, Kecskemeti, Gabor, editor, Jeannot, Emmanuel, editor, Cannataro, Mario, editor, Ricci, Laura, editor, Benkner, Siegfried, editor, Petit, Salvador, editor, Scarano, Vittorio, editor, Gracia, José, editor, Hunold, Sascha, editor, Scott, Stephen L., editor, Lankes, Stefan, editor, Lengauer, Christian, editor, Carretero, Jesus, editor, Breitbart, Jens, editor, and Alexander, Michael, editor

Published
2014
Full Text
View/download PDF

20. Cellular Programming

Author

Niebert, Peter, Caralp, Mathieu, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Dediu, Adrian-Horia, editor, Lozano, Manuel, editor, and Martín-Vide, Carlos, editor

Published
2014
Full Text
View/download PDF

21. A Dynamic Execution Model Applied to Distributed Collision Detection

Author

Anderson, Matthew, Brodowicz, Maciej, Dalessandro, Luke, DeBuhr, Jackson, Sterling, Thomas, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Kunkel, Julian Martin, editor, Ludwig, Thomas, editor, and Meuer, Hans Werner, editor

Published
2014
Full Text
View/download PDF

22. SCAC: Weakly-coupled execution model for massively parallel systems.

Author

Krichene, Hana, Baklouti, Mouna, Marquet, Philippe, Dekeyser, Jean-Luc, and Abid, Mohamed

Subjects
*COMMUNICATION, *COMPUTATIONAL acoustics, *FACE-to-face communication, *BIT rate, *COMPUTER simulation
Abstract

Abstract This work proposes an execution model for massively parallel systems aiming at ensuring the communications overlap by the computations. This model is named SCAC : Synchronous Communication Asynchronous Computation. This weakly-coupled model separates the execution of communication phases from those of computation in order to facilitate their overlapping, thus covering the data transfer time. To allow the simultaneous execution of these phases, we propose an approach based on three levels : two globally-centralized/locally-distributed hierarchical control levels and a parallel computation level. A generic and parametric implementation of the SCAC model was performed to fit different applications. This implementation allows the designer to choose the system components (from pre-designed ones) and to set its parameters in order to build the adequate SCAC configuration for the target application. An analytical estimation is proposed to predict the execution time of an application running in SCAC mode, in order to facilitate the parallel program design and the SCAC architecture configuration. The SCAC model was validated by simulation, synthesis and implementation on an FPGA platform, with different examples of parallel computing applications. The comparison of the results obtained by the SCAC model with other models has shown its effectiveness in terms of flexibility and speed-up. [ABSTRACT FROM AUTHOR]

Published
2019
Full Text
View/download PDF

23. Execution Model to Reduce the Interference of Shared Memory in ARINC 653 Compliant Multicore RTOS

Author

Sihyeong Park, Mi-Young Kwon, Hoon-Kyu Kim, and Hyungshin Kim

Subjects
avionics systems, real-time system, execution model, multicore architecture, interference analysis, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999
Abstract

Multicore architecture is applied to contemporary avionics systems to deal with complex tasks. However, multicore architectures can cause interference by contention because the cores share hardware resources. This interference reduces the predictable execution time of safety-critical systems, such as avionics systems. To reduce this interference, methods of separating hardware resources or limiting capacity by core have been proposed. Existing studies have modified kernels to control hardware resources. Additionally, an execution model has been proposed that can reduce interference by adjusting the execution order of tasks without software modification. Avionics systems require several rigorous software verification procedures. Therefore, modifying existing software can be costly and time-consuming. In this work, we propose a method to apply execution models proposed in existing studies without modifying commercial real-time operating systems. We implemented the time-division multiple access (TDMA) and acquisition execution restitution (AER) execution models with pseudo-partition and message queuing on VxWorks 653. Moreover, we propose a multi-TDMA model considering the characteristics of the target hardware. For the interference analysis, we measured the L1 and L2 cache misses and the number of main memory requests. We demonstrated that the interference caused by memory sharing was reduced by at least 60% in the execution model. In particular, multi-TDMA doubled utilization compared to TDMA and also reduced the execution time by 20% compared to the AER model.

Published
2020
Full Text
View/download PDF

25. Runtime Adaptation of Component Based Systems

Author

Loukil, Sihem, Kallel, Slim, Jmaiel, Mohamed, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gramoli, Vincent, editor, and Guerraoui, Rachid, editor

Published
2013
Full Text
View/download PDF

26. An Implementation of the Codelet Model

Author

Suettlerlein, Joshua, Zuckerman, Stéphane, Gao, Guang R., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Wolf, Felix, editor, Mohr, Bernd, editor, and an Mey, Dieter, editor

Published
2013
Full Text
View/download PDF

27. An Interface Model of Software Components

Author

Dong, Ruzhen, Zhan, Naijun, Zhao, Liang, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Liu, Zhiming, editor, Woodcock, Jim, editor, and Zhu, Huibiao, editor

Published
2013
Full Text
View/download PDF

28. Fork-Join and Data-Driven Execution Models on Multi-core Architectures: Case Study of the FMM

Author

Amer, Abdelhalim, Maruyama, Naoya, Pericàs, Miquel, Taura, Kenjiro, Yokota, Rio, Matsuoka, Satoshi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kunkel, Julian Martin, editor, Ludwig, Thomas, editor, and Meuer, Hans Werner, editor

Published
2013
Full Text
View/download PDF

29. Bridging the Chasm between Executable Metamodeling and Models of Computation

Author

Combemale, Benoît, Hardebolle, Cécile, Jacquet, Christophe, Boulanger, Frédéric, Baudry, Benoit, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Czarnecki, Krzysztof, editor, and Hedin, Görel, editor

Published
2013
Full Text
View/download PDF

33. Event-Driven Ontology Updating

Author

Sangers, Jordy, Hogenboom, Frederik, Frasincar, Flavius, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Wang, X. Sean, editor, Cruz, Isabel, editor, Delis, Alex, editor, and Huang, Guangyan, editor

Published
2012
Full Text
View/download PDF

34. Extending SPARQL Algebra to Support Efficient Evaluation of Top-K SPARQL Queries

Author

Bozzon, Alessandro, Della Valle, Emanuele, Magliacane, Sara, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ceri, Stefano, editor, and Brambilla, Marco, editor

Published
2012
Full Text
View/download PDF

35. Efficient Software Component Reuse in Safety-Critical Systems – An Empirical Study

Author

Land, Rikard, Åkerholm, Mikael, Carlson, Jan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ortmeier, Frank, editor, and Daniel, Peter, editor

Published
2012
Full Text
View/download PDF

36. PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications

Author

Caporuscio, Mauro, Funaro, Marco, Ghezzi, Carlo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gschwind, Thomas, editor, De Paoli, Flavio, editor, Gruhn, Volker, editor, and Book, Matthias, editor

Published
2012
Full Text
View/download PDF

37. On the Correctness of the SIMT Execution Model of GPUs

Author

Habermaier, Axel, Knapp, Alexander, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Seidl, Helmut, editor

Published
2012
Full Text
View/download PDF

38. Deterministic Execution Model on COTS Hardware

Author

Boniol, Frédéric, Cassé, Hugues, Noulard, Eric, Pagetti, Claire, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Herkersdorf, Andreas, editor, Römer, Kay, editor, and Brinkschulte, Uwe, editor

Published
2012
Full Text
View/download PDF

39. Multi-level Team Assignment in Social Business Processes: An Algorithm and Simulation Study

Author

Juhnyoung Lee, Akhil Kumar, and Rong Liu

Subjects
Process management, Social business, Computer Networks and Communications, Process (engineering), Business process, business.industry, Computer science, Theoretical Computer Science, Task (project management), Business process management, Resource (project management), business, Social network analysis, Execution model, Software, Information Systems
Abstract

Business Process Management (BPM) systems usually neglect the human and social aspects (or team effects) involved in business process execution. Our work fills a large gap in literature by addressing multi-level teams that arise in business processes where teams are formed at both the task and process levels. In this paper, we develop a methodology called BPMTeams based on social network analysis for building an execution model for a social BPM. This model is used to make resource assignments to form dynamic teams that perform various team-based activities in a process. We further develop various resource assignment strategies and evaluate them using parameters estimated from a real data set in the IT incident management domain to understand how team effects play out in social business processes. The overall team effect in a process is analyzed at two levels: as a task team effect where the synergistic role of a team in a specific task is realized; and a process team effect that arises from inter-team synergies across the individual task teams in a process. The results offer some balanced insights for the interplay of these effects by highlighting the benefits and disadvantages of teams selected by a purely data-driven approach.

Published
2021

40. Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch

Author

Paul Tarau

Subjects
FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Syntax (programming languages), Computer Science - Artificial Intelligence, Programming language, Computer science, Semantics (computer science), Search engine indexing, Resolution (logic), Python (programming language), computer.software_genre, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), Prolog, Artificial Intelligence (cs.AI), computer, Execution model, Logic programming, Programming Languages (cs.PL), computer.programming_language
Abstract

We introduce Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. Our proof-of-concept Natlog implementation is tightly embedded in the Python-based deep-learning ecosystem with focus on content-driven indexing of ground term datasets. As an overriding of our symbolic indexing algorithm, the same function can be delegated to a neural network, serving ground facts to Natlog's resolution engine. Our open-source implementation is available as a Python package at https://pypi.org/project/natlog/ ., Comment: In Proceedings ICLP 2021, arXiv:2109.07914

Published
2021

41. Asynchrony and persistence in reaction systems

Author

Maciej Koutny, Alexander B. Yakovlev, and Marta Pietkiewicz-Koutny

Subjects
Theoretical computer science, General Computer Science, Computer science, Semantics (computer science), Asynchronous communication, Context (language use), Persistence (discontinuity), Interactive computation, Execution model, Theoretical Computer Science, Asynchrony (computer programming)
Abstract

Reaction systems are a model of interactive computation, where the interaction between a system — itself built up of a number of reactions — and its environment is modelled through context sequences provided by the environment. The standard execution semantics of reaction systems is synchronous, i.e., at each computational step all the enabled reactions are executed. In this paper, we ‘de-synchronise’ such an execution model by allowing only a subset of enabled reactions to be executed. We then study the resulting asynchronous model assuming two fundamental execution policies. The first one allows any subset of reactions to be executed, and the second one draws each subset from a pre-defined pool. We also introduce and discuss the notion of persistence of reactions and sets of reactions in the resulting models of asynchronous reaction systems. In particular, we demonstrate that reaction persistence can be implemented.

Published
2021

42. A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams

Author

Anicic, Darko, Rudolph, Sebastian, Fodor, Paul, Stojanovic, Nenad, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bassiliades, Nick, editor, Governatori, Guido, editor, and Paschke, Adrian, editor

Published
2011
Full Text
View/download PDF

43. An Overview of ALIA4J : An Execution Model for Advanced-Dispatching Languages

Author

Bockisch, Christoph, Sewe, Andreas, Mezini, Mira, Akşit, Mehmet, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bishop, Judith, editor, and Vallecillo, Antonio, editor

Published
2011
Full Text
View/download PDF

44. A FUML-Based Distributed Execution Machine for Enacting Software Process Models

Author

Ellner, Ralf, Al-Hilank, Samir, Drexler, Johannes, Jung, Martin, Kips, Detlef, Philippsen, Michael, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, France, Robert B., editor, Kuester, Jochen M., editor, Bordbar, Behzad, editor, and Paige, Richard F., editor

Published
2011
Full Text
View/download PDF

46. Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic

Author

Vennekens, Joost, Bruynooghe, Maurice, Denecker, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Janhunen, Tomi, editor, and Niemelä, Ilkka, editor

Published
2010
Full Text
View/download PDF

47. Taverna, Reloaded

Author

Missier, Paolo, Soiland-Reyes, Stian, Owen, Stuart, Tan, Wei, Nenadic, Alexandra, Dunlop, Ian, Williams, Alan, Oinn, Tom, Goble, Carole, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gertz, Michael, editor, and Ludäscher, Bertram, editor

Published
2010
Full Text
View/download PDF

48. A Communication Framework for Fault-Tolerant Parallel Execution

Author

Kanna, Nagarajan, Subhlok, Jaspal, Gabriel, Edgar, Rohit, Eshwar, Anderson, David, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gao, Guang R., editor, Pollock, Lori L., editor, Cavazos, John, editor, and Li, Xiaoming, editor

Published
2010
Full Text
View/download PDF

49. Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S

Author

Daniyal, Ali, Abidi, Syed Sibte Raza, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Riaño, David, editor, ten Teije, Annette, editor, Miksch, Silvia, editor, and Peleg, Mor, editor

Published
2010
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results