1163 search results - page 151 / 233 » Case Studies of Model Checking for Embedded System Designs |
136
Voted
SIGMETRICS
2010
ACM
15 years 9 months ago
2010
ACM
In this paper, we consider a generic model of computational grids, seen as several clusters of homogeneous processors. In such systems, a key issue when designing efficient job al...
133
click to vote
CASES
2004
ACM
15 years 9 months ago
2004
ACM
While the dynamic voltage scaling (DVS) techniques are efficient in reducing the dynamic energy consumption for the processor, varying voltage alone becomes less effective for t...
187
click to vote
WSC
2007
15 years 6 months ago
2007
The estimation of the impact on performance in business process (BP) by introducing an information system (IS) is an important practical problem in investment appraisal. This pape...
139
click to vote
EMISA
2007
Springer
15 years 10 months ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
128
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Architectural patterns provide proven solutions to recurring design problems that arise in a system context. A major challenge for modeling patterns in a system design is effectiv...