589 search results - page 34 / 118 » Accurate Dependability Analysis of CAN-Based Networked Syste... |
113
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Technology trends have led to the advent of multi-core chips in the form of both general-purpose chip multiprocessors (CMPs) and embedded multi-processor systems-on-a-chip (MPSoCs...
123
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: Flux coupling analysis (FCA) is a useful method for finding dependencies between fluxes of a metabolic network at steady-state. FCA classifies reactions into subsets (...
142
click to vote
FMOODS
2007
15 years 3 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
131
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: One of main aims of Molecular Biology is the gain of knowledge about how molecular components interact each other and to understand gene function regulations. Using mi...
MASCOTS
2007
15 years 3 months ago
2007
Abstract— Opportunistic Networks (ONs) are a newly emerging type of Delay Tolerant Network (DTN) systems that opportunistically exploit unplanned contacts among nodes to share in...