1304 search results - page 139 / 261 » RTOS Modeling for System Level Design |
181
click to vote
EEMMAS
2007
Springer
15 years 10 months ago
2007
Springer
Complexity of near future and even nowadays applications is exponentially increasing. In order to tackle the design of such complex systems, being able to engineer self-organising ...
154
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Economic incentives have driven the semiconductor industry to separate design from fabrication in recent years. This trend leads to potential vulnerabilities from untrusted circui...
136
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
149
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents a method of constructing pre-routed FPGA cores which lays the foundations for a rapid system construction framework for dynamically reconfigurable computing sy...
148
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Many attempts are being made to understand biological subjects at a systems level. A major resource for these approaches are biological databases, storing manifold inf...