Results 1  10
of
13
Scheduling Hard RealTime Systems: A Review
, 1991
"... Recent results in the application of... this paper. The review takes the form of an analysis of the problems presented by different application requirements and characteristics. Issues covered include uniprocessor and multiprocessor systems, periodic and aperiodic processes, static and dynamic algor ..."
Abstract

Cited by 51 (7 self)
 Add to MetaCart
Recent results in the application of... this paper. The review takes the form of an analysis of the problems presented by different application requirements and characteristics. Issues covered include uniprocessor and multiprocessor systems, periodic and aperiodic processes, static and dynamic algorithms, transient overloads and resource usage. Protocols that limit and reduce blocking are discussed. Considerations are also given to scheduling Ada tasks.
Allocating Hard Real Time Tasks + (An NPHard Problem Made Easy)
 In Real Time Systems Journal
, 1992
"... A distributed hard real time system can be composed from a number of communicating tasks. One of the difficulties with building such systems is the problem of where to place the tasks. In general there are P T ways of allocating T tasks to P processors, and the problem of finding an optimal feasi ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
A distributed hard real time system can be composed from a number of communicating tasks. One of the difficulties with building such systems is the problem of where to place the tasks. In general there are P T ways of allocating T tasks to P processors, and the problem of finding an optimal feasible allocation (where all tasks meet physical and timing constraints) is known to be NPHard. This paper describes an approach to solving the task allocation problem using a technique known as simulated annealing. It also defines a distributed hard realtime architecture and presents new analysis which enables timing requirements to be guaranteed. 1. INTRODUCTION Building realtime systems on distributed architectures presents engineers with a number of challenging problems. One issue is that of scheduling the communication media, another concerns the allocation of software components to the available processing resources. Distributed systems typically consist of a mixture of periodic and sp...
Unitary constellations with large diversity sum and good diversity product
, 2002
"... There exist two important design criterions for unitary space time codes. In the situation where the signal to noise ratio is large it is well known that the diversity product of a constellation should be as large as possible. It is less known that the diversity sum is a very important design criter ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
There exist two important design criterions for unitary space time codes. In the situation where the signal to noise ratio is large it is well known that the diversity product of a constellation should be as large as possible. It is less known that the diversity sum is a very important design criterion for codes working in a low SNR environment. In this paper we introduce numerical methods which allow us to nd codes with near optimal diversity sum. We also demonstrate how these numerical techniques lead to codes with excellent diversity product(sum). 1
Substructural Surrogates for Learning Decomposable Classification Problems: Implementation and First Results
, 2007
"... This paper presents a learning methodology based on a substructural classification model to solve decomposable classification problems. The proposed method consists of three important components: (1) a structural model that represents salient interactions between attributes for a given data, (2) a s ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
This paper presents a learning methodology based on a substructural classification model to solve decomposable classification problems. The proposed method consists of three important components: (1) a structural model that represents salient interactions between attributes for a given data, (2) a surrogate model which provides a functional approximation of the output as a function of attributes, and (3) a classification model which predicts the class for new inputs. The structural model is used to infer the functional form of the surrogate and its coefficients are estimated using linear regression methods. The classification model uses a maximallyaccurate, leastcomplex surrogate to predict the output for given inputs. The structural model that yields an optimal classification model is searched using an iterative greedy search heuristic. Results show that the proposed method successfully detects key variable interactions in hierarchical problems, group them in linkages groups, and build maximally accurate classification models. The initial results on nontrivial hierarchical test problems indicate that the proposed method holds promise and have also shed light on several improvements to enhance the capabilities of the proposed method. 1
Geometrical and numerical design of structured unitary spacetime constellations
 IEEE Trans. Inform. Theory
, 2006
"... Unitary spacetime modulation using multiple antennas promises reliable communication at high transmission rates. The basic principles are well understood and certain criteria for designing good unitary constellations have been presented. There exist two important design criteria for unitary space t ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Unitary spacetime modulation using multiple antennas promises reliable communication at high transmission rates. The basic principles are well understood and certain criteria for designing good unitary constellations have been presented. There exist two important design criteria for unitary space time codes. In the situation where the signal to noise ratio is large it is well known that the diversity product (DP) of a constellation should be as large as possible. It is less known that the diversity sum (DS) is a very important design criterion for codes working in a low SNR environment. For some special situations, it will be more practical and reasonable to consider a constellation optimized at a certain SNR interval. For this reason we introduce the diversity function as a general design criterion. So far, no general method to design goodperforming constellations with large diversity for any number of transmit antennas and any transmission rate exists. In this paper we propose constellations with suitable structure which allow one to construct codes with excellent diversity using geometrical symmetry and numerical methods. We also demonstrate how these structured constellations outperform currently existing constellations and explain why the proposed constellation structure admit simple decoding algorithm: sphere decoding. The presented design methods work for any dimensional constellation and for any transmission rate. Moreover codes based on the proposed structure are very flexible and can be optimized for any signal to noise ratio.
A numerical approach for designing unitary spacetime codes with large diversity product and diversity sum
 in Proceedings of ISIT2003
"... Unitary spacetime modulation using multiple antennas promises reliable communication at high transmission rates. The basic principles are well understood and certain criteria for designing good unitary constellations have been presented. However so far no general method to design goodperforming co ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Unitary spacetime modulation using multiple antennas promises reliable communication at high transmission rates. The basic principles are well understood and certain criteria for designing good unitary constellations have been presented. However so far no general method to design goodperforming constellation with large diversity product and diversity sum for any number of transmit antennas and for any transmission rate exists. In this paper, we define a diversity function and analyze its limiting behavior. This results in two important design criteria: the diversity product and the diversity sum. Numerical methods are derived which allows one to construct codes with excellent diversity function and excellent diversity product and sum. The numerical approach is very flexible and it allows one to construct constellations of any dimension with an arbitrary given size. This flexibility is very useful when excellent constellations with certain parameters are required for some applications. 1 Introduction and
Efficient Ordering of State Variables and Transition Relation Partitions in Symbolic Model Checking
, 1998
"... Among the main algorithmic problems in the verification of sequential circuits are the computation of good orders of state variables and transition relation partitions. Existing model checking packages like SMV from CMU, VIS from Berkeley or Rulebase from IBM Haifa provide variants of Rudell' ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Among the main algorithmic problems in the verification of sequential circuits are the computation of good orders of state variables and transition relation partitions. Existing model checking packages like SMV from CMU, VIS from Berkeley or Rulebase from IBM Haifa provide variants of Rudell's sifting algorithm for the variable ordering problem and greedytype algorithms for the partition ordering problem. For both problems, we give new simulated annealing based algorithms. The impact of our approach is demonstrated on industrial arbiter circuits and ISCAS '89 benchmarks. In particular on large arbiter circuits from IBM our algorithms show a better space/time performance than previously given heuristics.
Substructrual Surrogates for Learning Decomposable Classification Problems: Implementation and First Results
"... This paper presents a learning methodology based on a substructural classification model to solve decomposable classification problems. The proposed method consists of three important components: (1) a structural model that represents salient interactions between attributes for a given data, (2) a s ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This paper presents a learning methodology based on a substructural classification model to solve decomposable classification problems. The proposed method consists of three important components: (1) a structural model that represents salient interactions between attributes for a given data, (2) a surrogate model which provides a functional approximation of the output as a function of attributes, and (3) a classification model which predicts the class for new inputs. The structural model is used to infer the functional form of the surrogate and its coefficients are estimated using linear regression methods. The classification model uses a maximallyaccurate, leastcomplex surrogate to predict the output for given inputs. The structural model that yields an optimal classification model is searched using an iterative greedy search heuristic. Results show that the proposed method successfully detects the interacting variables in hierarchical problems, group them in linkages groups, and build maximally accurate classification models. The initial results on nontrivial hierarchical test problems indicate that the proposed method holds promise and have also shed light on several improvements to enhance the capabilities of the proposed method.
Simulated Annealing, Weighted Simulated Annealing and Genetic Algorithm At Work
"... this paper, we aim at: ..."