State the problem before describing the solution

In this paper we examine the relationship between the steady state solution and the solution of a minimum problem for a parabolic system in the case of feedback boundary condition. It is proven that in the feedback case, the steady state solution is not ...

This paper is devoted to the approximate solution of a strongly NP-hard resource-constrained scheduling problem which arises in relation to the operability of certain high availability real time distributed systems. We present an algorithm based on the ...

We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This allows us to integrate ASM specs with the existing tools for test case generation from FSMs. ASM specs are executable but have ...