1604 search results - page 145 / 321 » Modeling and simulation of integrated intelligent systems |
172
click to vote
RTAS
2007
IEEE
16 years 22 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
170
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
185
click to vote
CODES
2005
IEEE
16 years 2 days ago
2005
IEEE
Majority of existing works on system level power estimation have focused on the processor, while there are very few that address power consumption of peripherals in a SoC. With th...
188
click to vote
CSREASAM
2009
15 years 7 months ago
2009
Security defense tools like firewalls and antivirus softwares are not sufficient to defend against dynamic threats to database systems. Successful attacks could not only seriously ...
138
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...