894 search results - page 57 / 179 » A Dependability-Driven System-Level Design Approach for Embe... |
122
click to vote
DSD
2006
IEEE
15 years 4 months ago
2006
IEEE
Title of thesis: Energy-Efficient Cache Coherence for Embedded Multi-Processor Systems through Application-Driven Snoop Filtering Alokika Dash, Master of Science, 2006 Thesis dire...
110
Voted
QOSA
2010
Springer
15 years 2 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
105
click to vote
VLSID
2003
IEEE
16 years 28 days ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...
112
Voted
MOMPES
2009
IEEE
15 years 7 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...