1236 search results - page 113 / 248 » Efficient Interpretation Policies |
CHARME
2003
Springer
14 years 2 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
DAC
2009
ACM
14 years 1 months ago
2009
ACM
Dynamic binary translation (DBT) can be used to address important issues in embedded systems. DBT systems store translated code in a software-managed code cache. Unlike general-pu...
HPDC
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper evaluates linear models for predicting the Digital Unix five-second load average from 1 to 30 seconds into the future. A detailed statistical study of a large number of...
CSFW
1992
IEEE
14 years 1 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
GRID
2000
Springer
14 years 17 days ago
2000
Springer
Resource management in the typical Grid environment based on multi-MPP systems or clusters today still is one of the challenging problems. We will present MeSch, a solution for the...