Sciweavers

4272 search results - page 81 / 855
» A Case for Automatic System Evaluation
Sort
View
ASE
2002
141views more  ASE 2002»
15 years 6 months ago
On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
Martin Traverso, Spiros Mancoridis
COMPSAC
2010
IEEE
15 years 4 months ago
Using Load Tests to Automatically Compare the Subsystems of a Large Enterprise System
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...
Haroon Malik, Bram Adams, Ahmed E. Hassan, Parmind...
FDL
2007
IEEE
16 years 22 days ago
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
Martin Schickel, Martin Oberkönig, Martin Sch...
FPL
2007
Springer
190views Hardware» more  FPL 2007»
16 years 17 days ago
Automatic Accuracy-Guaranteed Bit-Width Optimization for Fixed and Floating-Point Systems
In this paper we present Minibit+, an approach that optimizes the bit-widths of fixed-point and floating-point designs, while guaranteeing accuracy. Our approach adopts differen...
William G. Osborne, Ray C. C. Cheung, José ...
ISBI
2007
IEEE
16 years 21 days ago
Semi-Automatic Coronary Artery Centerline Extraction in Computed Tomography Angiography Data
This paper presents a semi-automatic coronary centerline extraction algorithm for computed tomography angiography data. The method applies region growing to computed tomography an...
Coert Metz, Michiel Schaap, Alina G. van der Giess...