850 search results - page 48 / 170 » Certification of System Architecture Dependability |
CHI
2002
ACM
16 years 5 days ago
2002
ACM
In this paper, we describe an evaluation of the Palette, a presentation tool that was reported at CHI '99. The Palette allows presenters to quickly access digital presentatio...
123
click to vote
CGO
2003
IEEE
15 years 5 months ago
2003
IEEE
A dynamic binary translation system for a co-designed virtual machine is described and evaluated. The underlying hardware directly executes an accumulator-oriented instruction set...
JSS
2007
14 years 11 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
115
click to vote
COMPSAC
2010
IEEE
14 years 8 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
137
click to vote
CASES
2007
ACM
15 years 3 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...