10038 search results - page 1834 / 2008 » Model Checking for Managers |
127
click to vote
AIPS
2008
15 years 6 months ago
2008
We consider the Resource-Constrained Project Scheduling Problem with minimal and maximal time lags under resource and duration uncertainties. To manage resource uncertainties, we ...
141
Voted
AVI
2008
15 years 6 months ago
2008
We have developed a novel information storage and display structure called EulerView, which can be used for the systematic management of tagged resources. The storage model is a n...
141
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
153
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
150
click to vote
HAIS
2010
Springer
15 years 6 months ago
2010
Springer
Energy efficiency represents one of the main challenges in the engineering field, i.e., by means of decreasing the energy consumption due to a better design minimising the energy ...