17082 search results - page 3150 / 3417 » Abstractions for Mobile Computation |
203
click to vote
ATS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
279
click to vote
BIOCOMP
2010
15 years 4 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
169
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...
171
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
222
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz' Time-Triggered Architectures (TTA) have been proposed ...