Sciweavers

5186 search results - page 413 / 1038
» Embedded Systems
Sort
View
DFG
2004
Springer
16 years 6 days ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
ICDCSW
2003
IEEE
16 years 3 days ago
Toward a Security Architecture for Smart Messages: Challenges, Solutions, and Open Issues
Smart Messages (SMs) are migratory execution units used to describe distributed computations over mobile ad hoc networks of embedded systems. The main benefits provided by SMs ar...
Gang Xu, Cristian Borcea, Liviu Iftode
RTAS
2002
IEEE
15 years 11 months ago
RAP: A Real-Time Communication Architecture for Large-Scale Wireless Sensor Networks
Large-scale wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from traditional networked sys...
Chenyang Lu, Brian M. Blum, Tarek F. Abdelzaher, J...
DELTA
2006
IEEE
16 years 26 days ago
Static Code Analysis of Functional Descriptions in SystemC
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...
Martin Holzer 0002, Markus Rupp
ICASSP
2008
IEEE
16 years 1 months ago
Iterative channel estimation and turbo equalization for time-varying OFDM systems
We develop a new receiver for orthogonal frequency division multiplexing (OFDM) systems in time-varying channels by embedding channel estimation in a low-complexity block turbo eq...
Kun Fang, Luca Rugini, Geert Leus