850 search results - page 97 / 170 » Certification of System Architecture Dependability |
209
click to vote
DAC
2011
ACM
14 years 5 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
188
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
172
click to vote
IROS
2006
IEEE
16 years 2 days ago
2006
IEEE
— This paper presents a robot audition system that recognizes simultaneous speech in the real world by using robotembedded microphones. We have previously reported Missing Featur...
146
click to vote
CISIS
2010
IEEE
16 years 28 days ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
150
click to vote
PVM
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. Manually tuning MPI runtime parameters is a practice commonly employed to optimise MPI application performance on a specific architecture. However, the best setting for ...