250 search results - page 43 / 50 » Verifying Tolerant Systems Using Polynomial Approximations |
BMCBI
2008
14 years 9 months ago
2008
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
SIAMADS
2010
14 years 4 months ago
2010
Precise spatiotemporal sequences of action potentials are observed in many brain areas and are thought to be involved in the neural processing of sensory stimuli. Here, we examine ...
ASM
2004
ASM
15 years 2 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
147
click to vote
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
Uncertain data is inherent in a few important applications such as environmental surveillance and mobile object tracking. Top-k queries (also known as ranking queries) are often n...
165
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...