1305 search results - page 178 / 261 » Dynamic House Allocation |
128
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
119
click to vote
CC
2001
Springer
15 years 7 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
133
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
One of the challenges in large scale distributed computing is to utilize the thousands of idle personal computers. In this paper, we present a system that enables users to e ortles...
116
click to vote
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
152
click to vote
ACPC
1999
Springer
15 years 7 months ago
1999
Springer
In this paper, we first present an Object Composition Petri Nets (OCPN) based model methodology for describing the dynamic behaviour of the multiple video objects and user interac...