Sciweavers

314 search results - page 49 / 63
» Cubical token systems
Sort
View
EMSOFT
2010
Springer
13 years 6 months ago
A unifying view of loosely time-triggered architectures
Abstract--Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz' Time-Triggered Architectures (TTA) have been proposed ...
Albert Benveniste, Anne Bouillard, Paul Caspi
ACL
2012
11 years 11 months ago
Fast and Robust Part-of-Speech Tagging Using Dynamic Model Selection
This paper presents a novel way of improving POS tagging on heterogeneous data. First, two separate models are trained (generalized and domain-specific) from the same data set by...
Jinho D. Choi, Martha Palmer
EMSOFT
2009
Springer
14 years 3 months ago
Flexible filters: load balancing through backpressure for stream programs
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
Rebecca L. Collins, Luca P. Carloni
ICDCS
2008
IEEE
14 years 3 months ago
A Nonblocking Approach for Reaching an Agreement on Request Total Orders
In distributed systems that use active replication to achieve robustness, it is important to efficiently enforce consistency among replicas. The nonblocking mode helps to speed u...
Yun Wang, Jie Wu
AINA
2007
IEEE
14 years 3 months ago
An Improved Approach to Secure Authentication and Signing
We know how to build secure systems but for security measures to be truly effective it is necessary to use keys which are far too large for people to commit to memory. The consequ...
David Argles, Alex Pease, Robert John Walters