Sciweavers

5325 search results - page 347 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
APSEC
2000
IEEE
15 years 11 months ago
Survivability Analysis of Networked Systems
Survivability is the ability of a system to continue operating despite the presence of abnormal events such as failures and intrusions. Ensuring system survivability has increased...
Jeannette M. Wing
SAFECOMP
1999
Springer
15 years 11 months ago
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza R...
ESTIMEDIA
2009
Springer
15 years 4 months ago
Efficient execution of Kahn process networks on multi-processor systems using protothreads and windowed FIFOs
As single-processor systems are ceasing to scale effectively, multi-processor systems are becoming more and more popular. While there are many challenges of designing multi-process...
Wolfgang Haid, Lars Schor, Kai Huang, Iuliana Baci...
ICDT
2009
ACM
121views Database» more  ICDT 2009»
15 years 4 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu
ICC
2007
IEEE
117views Communications» more  ICC 2007»
16 years 1 months ago
Synchronization in MB-OFDM-based UWB Systems
Abstract—This paper presents a preamble-based low complexity synchronization method for MB-OFDM based UWB systems. The proposed synchronization method consists of sync detection,...
Trent Jacobs, Yinghui Li, Hlaing Minn, R. M. A. P....