13977 search results - page 702 / 2796 » Evolution in complex systems |
195
click to vote
SBMF
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
208
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
206
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Existing real-time research focuses on how to formulate, model and enforce timeliness guarantees for task sets whose correctness has a temporal aspect. However, the resulting syst...
173
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Zero-padded OFDM (ZP-OFDM) systems have recently been adopted in certain wireless systems, such as the multiband-OFDM based WiMedia standard, instead of the more common...
216
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— A novel structure of training symbol is proposed for orthogonal frequency division multiplexing (OFDM) systems. With the proposed training symbol, which has repeated sample blo...