162 search results - page 10 / 33 » Symbolic Performance and Dependability Evaluation with the T... |
ICCD
2007
IEEE
14 years 4 months ago
2007
IEEE
The deployment of future deep submicron technology calls for a careful review of existing cache organizations and design practices in terms of yield and performance. This paper pr...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
TASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
IV
2005
IEEE
14 years 28 days ago
2005
IEEE
Polygonal meshes are used in many areas to model different objects and structures. Depending on their applications, they sometimes have to be processed to, for instance, reduce th...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...