Results 101 to 110 of about 7,477 (183)

An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms

Моделирование и анализ информационных систем
This paper uses the model checking method for an exact schedulability test of real-time systems running on multiprocessor platforms. To use this method, we formally describe real-time systems with an abstract scheduler as Kripke models.
Natalia O. Garanina
doaj   +1 more source

Validation of multiprocessor systems

, 1982
Experiments that can be used to validate fault free performance of multiprocessor systems in aerospace systems integrating flight controls and avionics are discussed.
Segall, Z., Kong, T., Siewiorek, D. P.
core  

Intra-component resource sharing on a virtual multiprocessor platform

, 2016
Component-based software development facilitates the development process of large and complex software systems. By the advent of multiprocessors, the independently developed components can be integrated on a multi-core platform to achieve an efficient ...
Afshar, S., Afshar, Sara, Nolte, Thomas, Khalilzad, Nima,, Behnam, Moris,, Bril, R.J., Khalilzad, Nima, Bril, RJ Reinder, Afshar, Sara,, Bril, Reinder J.,, Khalilzad, N., Behnam, Moris, Nolte, Thomas,, Nolte, T., Behnam, M.   +14 more
core   +1 more source

A MIXED INTEGER LINEAR PROGRAMMING MODEL FOR REAL-TIME TASK SCHEDULING IN MULTIPROCESSOR COMPUTER SYSTEM

Journal of ICT, 2012
There has been an upsurge in real-time multimedia applications in recent time. On a network, the ability of an average uniprocessor computer to handle such data may be limited due to the large size of such data.
Samuel Adeboyo Oluwadare, Basil Oluwafemi Akinnuli   +1 more
doaj  

Reliability Management Techniques for Energy-Aware Multiprocessor Real-Time Systems

, 2016
Energy conservation and reliability management are important design objectives for real-time embedded systems. The existing solutions that simultaneously consider energy and reliability dimensions are mostly developed for single-processor systems. On the
Haque, Mohammad Atiqul
core   +1 more source

Synthesising Energy-Efficient Embedded Systems with LOPOCOS

, 2002
In this paper, we introduce the LOPOCOS (Low Power Co-synthesis) system, a prototype CAD tool for system level co-design. LOPOCOS targets the design of energy-efficient embedded systems, implemented as heterogeneous distributed architectures.
Eles, Petru, Schmitz, Marcus T., Al-Hashimi, Bashir M.   +2 more
core  

Fault tolerance in multiprocessor systems

, 1987
Multiprocessor systems which afford a high degree of parallelism are used in a variety of applications. The extremely stringent reliability requirement has made the provision of fault-tolerance an important aspect in the design of such systems.
Srinivasa, SH, Biswas, NN
core  

Timing analysis model for network based multiprocessor systems.

, 2004
In this paper an embedded multiprocessor system on top of a network on chip is proposed which is amenable for timing analysis. This multiprocessor system is intended for multimedia application that process data streams.
Moonen, A.J.M., Meerbergen, van, J., Bekooij, MJG Marco, Moonen, AJM Arno, Meerbergen, J Jef van, Bekooij, M.J.G.   +5 more
core  

Synthesizing Energy-Efficient Embedded Systems with LOPOCOS

, 2002
In this paper, we introduce the LOPOCOS (Low Power Co-synthesis) system, a prototype CAD tool for system level co-design. LOPOCOS targets the design of energy-efficient embedded systems, implemented as heterogeneous distributed architectures.
Al-Hashimi, Bashir M, Eles, Petru, Schmitz, Marcus T   +2 more
core  

MULTIPROCESSOR SYSTEMS-ON-CHIPS

, 2004
ISBN: 0-12-385251-XModern system-on-chip (SoC) design shows a clear trend toward integration of multiple processor cores on a single chip. Designing a multiprocessor system-on-chip (MPSOC) requires an understanding of the various design styles and ...
Wolf, W., Jerraya, A.A.
core