Sciweavers

11374 search results - page 235 / 2275
» A System Demonstration of ST-TCP
Sort
View
HASE
2008
IEEE
16 years 1 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
ICPR
2008
IEEE
16 years 1 months ago
Applying similarity metrics to 3D acquisition in structured-light systems
Structured light systems use projected light to augment a scene with extra information. The goal of such systems is often the recovery of depth information based on 2D image(s) fr...
Graylin T. Jay, Randy Smith
IPPS
2007
IEEE
16 years 26 days ago
Locality-Aware Consistency Maintenance for Heterogeneous P2P Systems
Replication and caching have been deployed widely in current P2P systems. In update-allowed P2P systems, a consistency maintenance mechanism is strongly demanded. Several solution...
Zhenyu Li, Gaogang Xie, Zhongcheng Li
SP
2007
IEEE
107views Security Privacy» more  SP 2007»
16 years 25 days ago
Lurking in the Shadows: Identifying Systemic Threats to Kernel Data
The integrity of kernel code and data is fundamental to the integrity of the computer system. Tampering with the kernel data is an attractive venue for rootkit writers since malic...
Arati Baliga, Pandurang Kamat, Liviu Iftode
IESS
2007
Springer
143views Hardware» more  IESS 2007»
16 years 22 days ago
Embedded Software Development in a System-Level Design Flow
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
Gunar Schirner, Gautam Sachdeva, Andreas Gerstlaue...