Sciweavers

Share
144 search results - page 1 / 29
» Some recent advances in automated analysis
Sort
View
STTT
2016
4 years 4 months ago
Some recent advances in automated analysis
Abstract. Due to the increasing complexity of software systems, there is a growing need for automated and scalable software synthesis and analysis. In the last decade, active resea...
Erika Ábrahám, Klaus Havelund
DAGSTUHL
2007
9 years 9 months ago
Nonsymmetric algebraic Riccati equations associated with an M-matrix: recent advances and algorithms
We survey on theoretical properties and algorithms concerning the problem of solving a nonsymmetric algebraic Riccati equation, and we report on some known methods and new algorit...
Dario Andrea Bini, Bruno Iannazzo, Beatrice Meini,...
ACMSE
2004
ACM
10 years 1 months ago
Recent advances in mobility modeling for mobile ad hoc network research
In this paper, we survey recent advances in mobility modeling for mobile ad hoc network research. The advances include some new mobility models and analysis of older mobility mode...
Qunwei Zheng, Xiaoyan Hong, Sibabrata Ray
ENTCS
2007
178views more  ENTCS 2007»
9 years 8 months ago
Recent Advances in Real-Time Maude
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal speciļ¬cation and analysis of object-...
Peter Csaba Ölveczky, José Meseguer
books