#### Filter Results:

#### Publication Year

1989

2003

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

This paper presents an integer linear programming (ILP) model for the scheduling problem in high level synthesis. In addition to time-constrained scheduling and resource-constrained scheduling, a new scheduling problem called feasible scheduling is constructed, which provides a paradigm for exploring the solution space. Extensive consideration is given to… (More)

A time-dependent system modeling the interaction between a Stokes fluid and an elastic structure is studied. A divergence-free weak formulation is introduced which does not involve the fluid pressure field. The existence and uniqueness of a weak solution is proved. Strong energy estimates are derived under additional assumptions on the data. The existence… (More)

- ‹
- 1
- ›