9110 search results - page 344 / 1822 » Formally-Based Design Evaluation |
179
click to vote
WCE
2007
15 years 7 months ago
2007
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
190
click to vote
GEM
2009
15 years 4 months ago
2009
Self-organizing systems could serve as a solution for many technical problems where properties like robustness, scalability, and adaptability are required. However, despite all the...
223
click to vote
SIGMOBILE
2010
15 years 1 months ago
2010
As new approaches toward clean-slate network transport continue to emerge in the wireless domain and beyond, so grows the difficulty of conducting reproducible, head-to-head evalu...
154
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper proposes a novel approach to implement software object in hardware. Data-Memory mapping schemes are investigated and four hardware object design schemes are proposed an...
138
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a novel technique for the modeling, simulation, and analysis of real-time applications on MultiProcessor Systems-on-Chip (MPSoCs). This technique is based on a...