2167 search results - page 365 / 434 » On the need for statistical timing analysis |
99
Voted
SP
2005
IEEE
15 years 5 months ago
2005
IEEE
An apparently prevailing myth is that safety is undecidable in Discretionary Access Control (DAC); therefore, one needs to invent new DAC schemes in which safety analysis is decid...
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
91
Voted
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
116
Voted
DSOM
2005
Springer
15 years 5 months ago
2005
Springer
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...
FPL
2005
Springer
15 years 5 months ago
2005
Springer
Future process nodes have such small feature sizes that there will be an increase in the number of manufacturing defects per die. For large FPGAs, it will be critical to tolerate ...