3367 search results - page 442 / 674 » Incremental assignment problem |
110
click to vote
STACS
1999
Springer
15 years 8 months ago
1999
Springer
We investigate the problem of routing traffic through a congested network in an environment of non-cooperative users. We use the worst-case coordination ratio suggested by Koutsou...
120
click to vote
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
Existing high-level BIST synthesis methods focus on one objective, minimizing either area overhead or test time. Hence, those methods do not render exploration of large design spa...
125
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
129
click to vote
WCRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
160
click to vote
ANSS
1997
IEEE
15 years 8 months ago
1997
IEEE
An important part of a distributed system design is the workload sharing among the processors. This includes partitioningthe arriving jobs into tasks that can be executed in paral...