Publication | Closed Access
A resource sharing and control synthesis method for conditional branches
111
Citations
10
References
2003
Year
Unknown Venue
EngineeringSoftware EngineeringSystem SynthesisNested Condition BranchesSystems EngineeringCompilersParallel ComputingMechanism DesignDesignComputer EngineeringCondition Vector ConceptScheduling (Computing)Computer ScienceResource SharingInteger ProgrammingSoftware DesignScheduling AnalysisLogic SynthesisScheduling ProblemProgram AnalysisControl Synthesis AlgorithmCommand And ControlFormal MethodsBusinessScheduling (Production Processes)Resource AllocationControl Structure
A scheduling/allocation and control synthesis algorithm is presented. The proposed algorithm can achieve good resource sharing and synthesize an efficient control sequence for nested conditional branches as well as for straight-line codes. The condition vector concept is introduced to allow mutual exclusion to be detected among operators, and is used to produce more efficient control sequences. The condition vector concept is concerned with the handling of nested condition branches and can be used for other scheduling methods. Results obtained from several experiments indicate that the proposed algorithms are efficient and effective.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1