2036 search results - page 156 / 408 » Analysis of the XC6000 Architecture for Embedded System Desi... |
184
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
133
click to vote
CCS
2007
ACM
16 years 19 days ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
194
click to vote
ISORC
2005
IEEE
16 years 1 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
156
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
NoC architectures can be adopted to support general communications among multiple IPs over multi-processor Systems on Chip (SoCs). In this work we illustrate the modeling and simu...
191
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
We study the problem on how to maximize the throughput for a periodic real-time system under the given peak temperature constraint. We assume that different tasks in our system ma...