4693 search results - page 155 / 939 » Verifying Hybrid Systems |
112
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we propose PDRAM, a novel energy efficient main memory architecture based on phase change random access memory (PRAM) and DRAM. The paper explores the challenges in...
109
click to vote
DAC
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we propose PDRAM, a novel energy efficient main memory architecture based on phase change random access memory (PRAM) and DRAM. The paper explores the challenges i...
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper proposes an approach to robust state estimation for mobile robots with intermittent dynamics. The approach consists of identifying the robot’s mode of operation by...
126
click to vote
SETN
2010
Springer
15 years 5 months ago
2010
Springer
The optimal sizing of a small autonomous hybrid power system can be a very challenging task, due to the large number of design settings and the uncertainty in key parameters. This ...
106
click to vote
JCP
2008
15 years 1 months ago
2008
Embedded systems have an ever-increasing need for optimizing compilers to produce high quality codes with a limited general purpose register set. Either memory or registers are use...