1357 search results - page 240 / 272 » Compositional analysis for linear systems |
ICPADS
2006
IEEE
14 years 4 months ago
2006
IEEE
The advent of large scale multi-hop wireless networks highlights problems of fault tolerance and scale in distributed system, motivating designs that autonomously recover from tra...
CASES
2006
ACM
14 years 4 months ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...
SIGSOFT
2006
ACM
14 years 4 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
Little attention has been paid so far to physiological signals for emotion recognition compared to audio-visual emotion channels, such as facial expressions or speech. In this pap...
ISLPED
2005
ACM
14 years 3 months ago
2005
ACM
High power consumption and low energy efficiency have become significant impediments to future performance improvements in modern microprocessors. This paper contributes to the so...