Sciweavers

3667 search results - page 293 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
GLOBECOM
2007
IEEE
16 years 27 days ago
Spectral Properties and Interpolation Error Analysis for Variable Sample Rate Conversion Systems
—The problem of variable sample rate conversion (SRC) has received much attention on account of its applications in software defined radios (SDRs) that must support a wide varie...
Andre Tkacenko
SERA
2007
Springer
16 years 20 days ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
ATAL
2005
Springer
16 years 3 days ago
Comparative analysis of top-down and bottom-up methodologies for multi-agent system design
Traditionally, top-down and bottom-up design approaches have competed with each other in Algorithmics and Software Engineering. In the top-down approach, design process starts wit...
Valentino Crespi, Aram Galstyan, Kristina Lerman
LCPC
2005
Springer
16 years 1 days ago
Parallelization of Utility Programs Based on Behavior Phase Analysis
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
Xipeng Shen, Chen Ding
SPC
2005
Springer
16 years 1 days ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...