289 search results - page 45 / 58 » Verification Patterns for Rapid Embedded System Verification |
133
Voted
ICCAD
2009
IEEE
15 years 10 days 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...
109
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
120
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We investigate relationships among software quality measures commonly used to assess the value of a technology, and several aspects of customer perceived quality measured by Inter...
128
Voted
FMAM
2010
15 years 18 days ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
153
Voted
INFOCOM
2010
IEEE
15 years 15 days ago
2010
IEEE
Network coding has been shown to be capable of greatly improving quality of service in P2P live streaming systems (e.g., IPTV). However, network coding is vulnerable to pollution a...