Results 41 to 50 of about 1,063 (62)
Programming and Proving with Distributed Protocols [PDF]
, 2018 Distributed systems play a crucial role in modern infrastructure, but are notoriously difficult to implement correctly. This difficulty arises from two main challenges: (a) correctly implementing core system components (e.g., two-phase commit), so all ...
Sergey, I, Tatlock, Z, Wilcox, JR
core
ETHICS FOR ARTIFICIAL HISTORIANS
History and Theory, Volume 64, Issue 2, Page 159-177, June 2025.ABSTRACT Artificial historians do not need to have intentions to complete actions or to solve problems. Consequently, a revised approach to the ethics of history is needed. An approach to ethics for artificial historians can be proposed through the recognition of historiographical logic, which is a hybrid of modal, propositional, and erotetic (question‐
Marnie Hughes‐Warrington
wiley +1 more source
A crisis of authority in scientific discourse. [PDF]
Cult Stud Sci Educ, 2021 Nichols MD, Petzold AM.
europepmc +1 more source
Work Analysis with Resource-Aware Session Types
, 2018 While there exist several successful techniques for supporting programmers in deriving static resource bounds for sequential code, analyzing the resource usage of message-passing concurrent processes poses additional challenges. To meet these challenges,
Carbonneaux Quentin +8 more
core +1 more source
Executing Domain-Specific Models in Eclipse: KLEPTO - KIELER leveraging Ptolemy [PDF]
, 2012 We present a two-level approach to extend the abstract syntax of domain-specific models with concrete semantics in order to execute such models. First, a light-weight execution infrastructure for executable models with a generic user interface allows the
Fuhrmann, Hauke +3 more
core
Theory and Practice of Action Semantics [PDF]
, 1996 Action Semantics is a framework for the formal descriptionof programming languages. Its main advantage over other frameworksis pragmatic: action-semantic descriptions (ASDs) scale up smoothly torealistic programming languages. This is due to the inherent
Mosses, Peter D.
core +1 more source
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction [PDF]
, 2012 RR version = http://hal.inria.fr/hal-00780521/enInternational audienceIn this paper, we propose an enhancement of the compilation of synchronous programs with a combined numerical-Boolean abstraction.
Feautrier, Paul +2 more
core +3 more sources
Introduction to the Literature on Programming Language Design [PDF]
, 1996 This is an introduction to the literature on programming language design and related topics. It is intended to cite the most important work, and to provide a place for students to start a literature ...
Leavens, Gary T.
core +2 more sources
Inducing a Semantically Annotated Lexicon via EM-Based Clustering
, 1999 We present a technique for automatic induction of slot annotations for subcategorization frames, based on induction of hidden classes in the EM framework of statistical estimation.
Beil, Franz +4 more
core +1 more source
Operational Semantics of Hybrid Systems
International Conference on Hybrid Systems: Computation and Control, 2005 Edward A. Lee, Haiyang Zheng
semanticscholar +1 more source