نتایج جستجو برای: program runtime logic

تعداد نتایج: 605136  

2011
Flavio Cruz Michael P. Ashley-Rollman Seth Copen Goldstein Ricardo Rocha Frank Pfenning

In the Claytronics project, we have used Meld, a logic programming language suitable for writing scalable and concise distributed programs for ensembles. Meld allows declarative code to be compiled into distributed code that can be executed in thousands of computing units. We are now using Meld to program more traditional algorithms that run on multicore machines. We made several modifications ...

2015
David A. Basin Felix Klaedtke Eugen Zalinescu

Prior runtime-verification approaches for distributed systems are limited as they do not account for network failures and they assume that system messages are received in the order they are sent. To overcome these limitations, we present an online algorithm for verifying observed system behavior at runtime with respect to specifications written in the real-time logic MTL that efficiently handle...

Journal: :Theor. Comput. Sci. 2005
Cyrille Artho Howard Barringer Allen Goldberg Klaus Havelund Sarfraz Khurshid Michael R. Lowry Corina S. Pasareanu Grigore Rosu Koushik Sen Willem Visser Richard Washington

Software testing is typically an ad-hoc process where human testers manually write test inputs and descriptions of expected test results, perhaps automating their execution in a regression suite. This process is cumbersome and costly. This paper reports results on a framework to further automate this process. The framework consists of combining automated test case generation based on systematic...

2005
Norio Kato

Concurrent programming languages provide a paradigm for describing programs with complicated communication networks in a clear way. They support the creation of multiple computational units called processes that run concurrently in a program together with the mechanism for communication between processes, thereby simplifying the programming of synchronization and communication. Among them, conc...

Journal: :TPLP 2013
Quan Phan Gerda Janssens Zoltan Somogyi

Region-based memory management (RBMM) is a form of compile time memory management, well-known from the functional programming world. In this paper we describe our work on implementing RBMM for the logic programming language Mercury. One interesting point about Mercury is that it is designed with strong type, mode, and determinism systems. These systems not only provide Mercury programmers with ...

2007

Self-modifying code (SMC), in this paper, broadly refers to any program that purposely loads, generates, or mutates code at runtime. It is widely used in many of the world’s critical software systems to support runtime code generation and optimization, dynamic loading and linking, OS kernel boot-loading, just-in-time compilation, binary translation, virtual machine monitor, or dynamic code encr...

2004
Greg Stitt Roman Lysecky Frank Vahid

Partitioning an application among software running on a microprocessor and hardware co-processors in on-chip configurable logic has been shown to improve performance and energy consumption in embedded systems. Meanwhile, dynamic software optimization methods have shown the usefulness and feasibility of runtime program optimization, but those optimizations do not achieve as much as partitioning....

2015
Adrian Francalanza Luca Aceto Anna Ingólfsdóttir

We study μHML (a branching-time logic with least and greatest fixpoints) from a runtime verification perspective. We establish which subset of the logic can be verified at runtime and define correct monitor-synthesis algorithms for this subset. We also prove completeness results wrt. these logical subsets that show that no other properties apart from those identified can be verified at runtime.

Journal: :Lecture Notes in Computer Science 2021

Benefits of static type systems are well-known: they offer guarantees that no error will occur during runtime and, inherently, inferred types serve as documentation on how functions called. On the other hand, many have to limit expressiveness language because, in general, it is undecidable whether a given program correct regarding types. Another concern was not addressed so far that, for logic ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید