212 search results - page 19 / 43 » Failure Behavior Analysis for Reliable Distributed Embedded ... |
127
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
121
click to vote
RTCSA
2003
IEEE
15 years 5 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
The VCG mechanism is the canonical method for motivating bidders in combinatorial auctions and exchanges to bid truthfully. We study two related problems concerning the VCG mechan...
121
click to vote
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
100
Voted
ACHI
2008
IEEE
15 years 1 months ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...