858 search results - page 161 / 172 » Formal Verification of Digital Systems |
175
Voted
SAC
2010
ACM
15 years 10 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...
135
Voted
EUROSYS
2009
ACM
16 years 1 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...
136
Voted
EUROSYS
2007
ACM
16 years 1 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...
119
click to vote
UC
2009
Springer
15 years 10 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...
130
click to vote
SACMAT
2009
ACM
15 years 10 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...