Sciweavers

1147 search results - page 104 / 230
» Termination in language-based systems
Sort
View
ASAP
2006
IEEE
168views Hardware» more  ASAP 2006»
15 years 4 months ago
Dual-Processor Design of Energy Efficient Fault-Tolerant System
A popular approach to guarantee fault tolerance in safety-critical applications is to run the application on two processors. A checkpoint is inserted at the completion of the prim...
Shaoxiong Hua, Pushkin R. Pari, Gang Qu
100
Voted
FLOPS
2006
Springer
15 years 4 months ago
Soutei, a Logic-Based Trust-Management System
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
Andrew Pimlott, Oleg Kiselyov
92
Voted
JSAC
2006
92views more  JSAC 2006»
15 years 23 days ago
Performance of UWB PSK systems using fully saturated power amplifiers
Abstract--This paper studies the performance of ultra-wideband (UWB) radio communications systems employing phase shift keying (PSK) modulation and fully saturated power amplifiers...
Jia Li, Qingchong Liu, D. P. Taylor
130
Voted
TC
2002
15 years 13 days ago
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
Jean-François Hermant, Gérard Le Lan...
104
Voted
CORR
2011
Springer
200views Education» more  CORR 2011»
14 years 7 months ago
Optimal Channel Training in Uplink Network MIMO Systems
We consider a multi-cell frequency-selective fading uplink channel (network MIMO) from K singleantenna user terminals (UTs) to B cooperative base stations (BSs) with M antennas ea...
Jakob Hoydis, Mari Kobayashi, Mérouane Debb...