28 search results - page 3 / 6 » Putting Faulty Cores to Work |
AGILEDC
2007
IEEE
14 years 3 months ago
2007
IEEE
By now it is common knowledge that it’s just as easy for a team to fail using agile practices as it is with waterfall or any other method for building software. So what is the s...
APLAS
2001
ACM
14 years 13 days ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
MICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
Continued technology scaling is resulting in systems with billions of devices. Unfortunately, these devices are prone to failures from various sources, resulting in even commodity...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— In this paper we consider the problem of sensorimotor coordination in a Bayesian framework. To this end we introduce a novel kind of Dynamic Bayesian Network serving as...
FLOPS
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...