858 search results - page 161 / 172 » Formal Verification of Digital Systems |
142
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
113
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
114
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
Failure detectors are fundamental building blocks in distributed systems. Multi-node failure detectors, where the detector is tasked with monitoring N other nodes, play a critical...
92
Voted
UC
2009
Springer
15 years 8 months ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...
109
Voted
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...