386 search results - page 53 / 78 » Static Timing Analysis of Real-Time Operating System Code |
159
click to vote
ISDA
2010
IEEE
14 years 9 months ago
2010
IEEE
The usage of Gaussian mixture models for video segmentation has been widely adopted. However, the main difficulty arises in choosing the best model complexity. High complex models ...
107
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...
IFIPTCS
2000
15 years 3 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
119
click to vote
TACS
1994
Springer
15 years 3 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
USS
2004
15 years 1 months ago
2004
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...