1709 search results - page 152 / 342 » Precise Modeling of Design Patterns |
93
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
117
Voted
DAC
2006
ACM
15 years 6 months ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
111
Voted
WOWMOM
2006
ACM
15 years 6 months ago
2006
ACM
Motivated by recent surfacing viruses that can spread over the air interfaces, in this paper, we investigate the potential disastrous threat of node compromise spreading in wirele...
133
click to vote
ECBS
2010
IEEE
15 years 5 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
110
click to vote
JNW
2006
15 years 24 days ago
2006
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...