949 search results - page 116 / 190 » Theory of Constraints |
119
click to vote
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we propose two price-based job allocation schemes for computational grids. A grid system tries to solve problems submitted by various grid users by allocating the jo...
89
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...
63
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...
99
Voted
HUC
2005
Springer
15 years 6 months ago
2005
Springer
A frameless display is a display with no perceptible boundaries; it appears to be embodied in the physical world. Frameless displays are created by projecting visual elements on a ...
111
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...