Package | Description |
---|---|
exploration.interfaces.twoDim |
package contains interfaces for a 2D design space exploration experiments.
|
exploration.parameters.oneDimension |
package contains exploration parameters for all one-dimensional
exploration.
|
solver.distributedMemory.scheduling |
package contains solver for scheduling problem for a distributed memory architecture.
|
solver.sharedMemory.combinedSolver.pipelined |
package contains solver for scheduling problem for a
shared memory architecture for pipelined scheduling.
|
Modifier and Type | Interface and Description |
---|---|
interface |
PeriodProcConstraints
Interface to be implemented for 2-dim exploration of
Period and Number of processors used
|
Modifier and Type | Field and Description |
---|---|
private PeriodConstraints |
PeriodParams.satSolver
Solver being used to determine the period cost.
|
Modifier and Type | Method and Description |
---|---|
void |
PeriodParams.setSolver(PeriodConstraints solver)
Set the SMT solver for exploration purposes.
|
Modifier and Type | Class and Description |
---|---|
class |
ClusterMutExclPipelined |
Modifier and Type | Class and Description |
---|---|
class |
MutExPipelinedScheduling
The pipelined problem is solved using this class by
a Mutual exclusion solver.
|
class |
UnfoldingScheduling
The pipelined problem is solved by unfolding the application graph by a number of
times and scheduling it.
|