Sciweavers

1448 search results - page 178 / 290
» Restricted Stack Implementations
Sort
View
ATVA
2009
Springer
142views Hardware» more  ATVA 2009»
14 years 3 months ago
Synthesis of Fault-Tolerant Distributed Systems
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
Rayna Dimitrova, Bernd Finkbeiner
MODELS
2009
Springer
14 years 3 months ago
An Incremental Algorithm for High-Performance Runtime Model Consistency
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
Christopher Wolfe, T. C. Nicholas Graham, W. Greg ...
JCDL
2009
ACM
115views Education» more  JCDL 2009»
14 years 3 months ago
Using timed-release cryptography to mitigate the preservation risk of embargo periods
Due to temporary access restrictions, embargoed data cannot be refreshed to unlimited parties during the embargo time interval. A solution to mitigate the risk of data loss has be...
Rabia Haq, Michael L. Nelson
SEAA
2008
IEEE
14 years 3 months ago
A Case Study in Software Product Lines - The Case of the Mobile Game Domain
Software Product Lines (SPL) processes are gradually being adopted by many companies in several domains. A particular domain where the adoption of such processes may bring relevan...
Leandro Marques Nascimento, Eduardo Santana de Alm...
ETS
2007
IEEE
94views Hardware» more  ETS 2007»
14 years 3 months ago
An Integrated Built-In Test and Repair Approach for Memories with 2D Redundancy
An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. Therefore embedded memories are commonly equipped with spare r...
Philipp Öhler, Sybille Hellebrand, Hans-Joach...