13603 search results - page 2625 / 2721 » On the Complexity of Computing Treelength |
156
click to vote
ISCA
2007
IEEE
16 years 20 days ago
2007
IEEE
Transient faults due to particle strikes are a key challenge in microprocessor design. Driven by exponentially increasing transistor counts, per-chip faults are a growing burden. ...
174
click to vote
ISORC
2007
IEEE
16 years 20 days ago
2007
IEEE
As E-businesses are becoming ubiquitous, enhancing the performance and scalability of ebusiness systems has become an increasingly important topic of investigation. As Vitruvius (...
162
click to vote
QEST
2007
IEEE
16 years 19 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
186
click to vote
RTSS
2007
IEEE
16 years 19 days ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...
182
click to vote
TPHOL
2007
IEEE
16 years 19 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...