1988 search results - page 381 / 398 » Engineering formal metatheory |
EUROSYS
2009
ACM
14 years 5 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...
EUROSYS
2007
ACM
14 years 5 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...
EUROSYS
2006
ACM
14 years 5 months ago
2006
ACM
—Restoring data operations after a disaster is a daunting task: how should recovery be performed to minimize data loss and application downtime? Administrators are under consider...
ICCAD
2007
IEEE
14 years 5 months ago
2007
IEEE
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...