Sciweavers

3507 search results - page 93 / 702
» Slicing for architectural analysis
Sort
View
95
Voted
FTDCS
1997
IEEE
15 years 5 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
107
Voted
KBSE
2008
IEEE
15 years 7 months ago
Using dependency model to support software architecture evolution
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
TC
1998
15 years 14 days ago
Accuracy vs. Precision in Digital VLSI Architectures for Signal Processing
—The paper provides a sensitivity analysis to measure the loss in accuracy induced by perturbations affecting acyclic computational flows composed of linear convolutions and nonl...
Cesare Alippi, Luciano Briozzo
103
Voted
CICLING
2010
Springer
15 years 7 months ago
Towards Automatic Detection and Tracking of Topic Change
We present an approach for automatic detection of topic change. Our approach is based on the analysis of statistical features of topics in time-sliced corpora and their dynamics ov...
Florian Holz, Sven Teresniak
TACAS
2009
Springer
212views Algorithms» more  TACAS 2009»
15 years 7 months ago
Semantic Reduction of Thread Interleavings in Concurrent Programs
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupt...