Real-time, concurrent checkpoint for parallel programs

1990 ◽  
Author(s):  
K. Li ◽  
J. F. Naughton ◽  
J. S. Plank
Keyword(s):  
Real Time ◽  
Parallel Programs

scholarly journals Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs

2009 ◽  
Vol 2009 ◽  
pp. 1-11 ◽  
Author(s):  
Harold Ishebabi ◽  
Philipp Mahr ◽  
Christophe Bobda ◽  
Martin Gebser ◽  
Torsten Schaub
Keyword(s):  
Linear Programming ◽  
Real Time ◽  
Integer Linear Programming ◽  
Linear Equations ◽  
Parallel Programs ◽  
Design Parameters ◽  
Multiprocessor Systems ◽  
Task Mapping ◽  
Baseband Signal Processing ◽  
Answer Set

An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel programs by simultaneously solving the problems of task mapping, resource allocation, and scheduling. The latter considers effects of fixed-priority preemptive scheduling in order to guarantee real-time requirements, hence covering a broad spectrum of embedded applications. Being inherently a combinatorial optimization problem, the design space is modeled using linear equations that capture high-level design parameters. A comparison of two methods for solving resulting problem instances is then given. The intent is to study how well recent advances in propositional satisfiability (SAT) and thus Answer Set Programming (ASP) can be exploited to automate the design of flexible multiprocessor systems. Integer Linear Programming (ILP) is taken as a baseline, where architectures for IEEE 802.11g and WCDMA baseband signal processing are synthesized. ASP-based synthesis used a few seconds in the solver, faster by three orders of magnitude compared to ILP-based synthesis, thereby showing a great potential for solving difficult instances of the automated synthesis problem.

scholarly journals Automatic generation of scheduling and communication code in real-time parallel programs

1995 ◽  
Vol 30 (11) ◽  
pp. 134-145
Author(s):  
André Bakkers ◽  
Johan Sunter ◽  
Evert Ploeg
Keyword(s):  
Real Time ◽  
Automatic Generation ◽  
Parallel Programs

Real-time, concurrent checkpoint for parallel programs

1990 ◽  
Vol 25 (3) ◽  
pp. 79-88 ◽  
Author(s):  
K. Li ◽  
J. F. Naughton ◽  
J. S. Plank
Keyword(s):  
Real Time ◽  
Parallel Programs

Some Recent Results in Quiescent Prominence Spectrometry

1979 ◽  
Vol 44 ◽  
pp. 41-47
Author(s):  
Donald A. Landman
Keyword(s):  
Real Time ◽  
Computer System ◽  
Spectral Response ◽  
Absolute Intensity ◽  
Solar Observatory ◽  
Target Size ◽  
Small Target ◽  
Signal Averaging ◽  
Quiescent Prominence

This paper describes some recent results of our quiescent prominence spectrometry program at the Mees Solar Observatory on Haleakala. The observations were made with the 25 cm coronagraph/coudé spectrograph system using a silicon vidicon detector. This detector consists of 500 contiguous channels covering approximately 6 or 80 Å, depending on the grating used. The instrument is interfaced to the Observatory’s PDP 11/45 computer system, and has the important advantages of wide spectral response, linearity and signal-averaging with real-time display. Its principal drawback is the relatively small target size. For the present work, the aperture was about 3″ × 5″. Absolute intensity calibrations were made by measuring quiet regions near sun center.

Sign in / Sign up

Export Citation Format

Share Document