1585 search results - page 165 / 317 » A framework for computer-aided validation |
129
Voted
AIPS
2008
15 years 6 months ago
2008
In the last decades, there has been an increasing interest in the connection between planning and constraint programming. Several approaches were used, leading to different forms ...
113
Voted
WSC
2007
15 years 6 months ago
2007
We present a single-stage multiple-comparison procedure for comparing parameters of independent systems, where the parameters are not necessarily means or steady-state means. We a...
123
Voted
WSC
2008
15 years 6 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
115
Voted
WSC
2007
15 years 6 months ago
2007
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...
137
Voted
CAMP
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— In this paper we address the problem of the architectural exploration from the energy/performance point of view of a VLIW processor for embedded systems. We also consid...