3104 search results - page 264 / 621 » Using quantitative analysis to implement autonomic IT system... |
153
click to vote
BIRTHDAY
2012
Springer
14 years 17 days ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...
123
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
129
Voted
AAAI
1996
15 years 6 months ago
1996
Rule induction research implicitly assumes that after producing the rules from a dataset, these rules will be used directly by an expert system or a human user. In real-life appli...
136
click to vote
ECRTS
2007
IEEE
15 years 11 months ago
2007
IEEE
Conventionally, the use of virtual memory in real-time systems has been avoided, the main reason being the difficulties it provides to timing analysis. However, there is a trend ...
153
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
1 Multi-paradigm, multi-threaded and multi-core computing devices available today provide several orders of magnitude performance improvement over mainstream microprocessors. These...