Zobrazeno 1 - 10
of 197
pro vyhledávání: '"Stoyenko, A."'
Publikováno v:
Automatica. 33:921-926
We propose a new algorithm, least space-time first (LSTF), for dealing with the general complex-taskmultiple-processor model. The results of the proof and simulation shown that LSTF outperforms other established heuristic algorithms (such as earliest
Publikováno v:
Real-Time Systems. 11:245-263
Typical in modern complex real-time applications are (1) integration of lar ge systems, as well as development of new systems and subsystems, (2) complex, often conflicting, functional and non-functional objectives, and (3) a significant degree of di
Publikováno v:
IFAC Proceedings Volumes. 29:9-17
There have been a number of successes in the past few years in use of formal methods for verification of real-time systems, and also in source-to-source transformation of these systems for improved analysis, performance, and schedulability. What has
Publikováno v:
IFAC Proceedings Volumes. 29:7118-7123
A Fault-Tolerant Real-Time System must provide critical level of service in a timely manner in the presence of one or more hardware or software faults. This paper argues that support from the language, environment, and compiler is required. An integr
Publikováno v:
IFAC Proceedings Volumes. 29:7147-7152
Speculative execution can enhance the average execution time by executing parts of the code which may or may not be needed. In some cases, rollback is necessary if the computation turns out to be invalid. However, speculative execution should be appl
Publikováno v:
Control Engineering Practice. 3:855-861
This paper discusses issues in real-time image-processing, including applications, approaches, and hardware. In particular, the failure of existing programming languages to support these considerations, and present requirements for any language that
Publikováno v:
Control Engineering Practice. 3:651-664
Real-time systems often consist of distributed periodic processes that have critical timing constraints and share resources. This paper presents a set of functions for predicting the timing characteristics of such systems, assuming that they are spec
Publikováno v:
Real-Time Systems, 8(1), 5-34. Springer
This paper describes a general model for pre-run-time scheduling of distributed real-time systems that are composed of abstract data types (definable in languages such as Ada, Clu and Modula-2) and abstract data objects (which can be defined in C++,
Publikováno v:
The Computer Journal. 38:319-338
The new generation of real-time systems are characterized by multiple, conflicting non-functional desiderata on goals. Furthermore, the systems exhibit very large size and complexity-in both application structures and underlying software and hardware
Publikováno v:
IEEE Spectrum. 31:32-39
The big challenge for military forces and their industrial supporters since the end of the cold war is how to convert technologies once viewed as exclusively military to serve civilian ends as well. The authors discuss a case of dual use in which a r