脊椎动物
发表于 2025-3-26 22:29:16
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systntation of Task-Wait-For Graph to deal with synchronization waiting relations defined in the annex of real-time systems, shows the necessary and sufficient conditions for tasking deadlock occurrences, and present a run-time tasking deadlock detector we implemented for real-time systems with the Ada 95’s annex of real-time systems.
竞选运动
发表于 2025-3-27 03:48:46
http://reply.papertrans.cn/83/8265/826448/826448_32.png
吸气
发表于 2025-3-27 06:22:49
Hierarchical Scheduling with Ada 2005y of hierarchical scheduling, thus enabling new ways to developing critical applications in Ada. The paper explores the new opportunities opened by Ada 2005 and proposes some concrete techniques for implementing hierarchical scheduling in the new version of the language.
verdict
发表于 2025-3-27 10:29:55
Secure Execution of Computations in Untrusted Hostsis possible to use an optimizing compiler to automatically transform code structure and data layout so that an application can safely be executed on an untrusted remote host without being reverse engineered.
spondylosis
发表于 2025-3-27 17:39:15
Using Mathematics to Improve Ada Compiled Codef recursion. One of our techniques is based on an analogy with a variant of the well-known critical path method. The other is based on a new result in directed graph theory, which has many potential applications in addition to the one presented here.
LITHE
发表于 2025-3-27 18:10:52
POSIX Trace Based Behavioural Reflectiontending the traditional POSIX trace model with a partial reflective model. Such combi-nation still preserves the trace mechanism semantics while creating a powerful platform to develop new dynamic systems, with little impact in the system and avoiding complex changes in the kernel source code.
gangrene
发表于 2025-3-27 23:03:14
Interchangeable Scheduling Policies in Real-Time Middleware for Distributioning real-time middleware implementations to change their scheduling policies for both the processing nodes and the networks. The technique has been tested in an implementation of Ada’s DSA, providing two interchangeable policies: a fixed-priority scheduler, and a complex contract-based flexible scheduler.
flutter
发表于 2025-3-28 05:05:59
http://reply.papertrans.cn/83/8265/826448/826448_38.png
展览
发表于 2025-3-28 09:01:45
Hierarchical Scheduling with Ada 2005is opted for over traditional federation. While comparatively heavyweight approaches to hierarchical scheduling have been prevailing until now, the new scheduling features of Ada 2005 enable lighter-weight techniques to be used. This will expectedly result in increasing the efficiency and flexibilit
笨拙的你
发表于 2025-3-28 11:28:58
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applicationsava has not been a serious choice in this domain. However, recent work based on the Real-Time Specification for Java promises to make Java technology a credible alternative. This paper discusses and compares Ada and the RTSJ with respect to the requirements for safety-critical systems, in particular