1304 search results - page 37 / 261 » RTOS Modeling for System Level Design |
103
click to vote
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
218
Voted
SBIA
2010
Springer
15 years 10 days ago
2010
Springer
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
117
click to vote
USS
2008
15 years 4 months ago
2008
There are several remaining open questions in the area of flow-based anomaly detection, e.g., how to do meaningful evaluations of anomaly detection mechanisms; how to get conclusi...
106
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
120
click to vote
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...