Sciweavers

452 search results - page 79 / 91
» An Active Approach to Automatic Case Generation
Sort
View
HASE
2007
IEEE
14 years 1 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
EDOC
2006
IEEE
14 years 1 months ago
Model-Driven Dashboards for Business Performance Reporting
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
Pawan Chowdhary, Themis Palpanas, Florian Pinel, S...
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
14 years 10 days ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...
CC
1999
Springer
320views System Software» more  CC 1999»
13 years 11 months ago
Floating Point to Fixed Point Conversion of C Code
In processors that do not support floating-point instructions, using fixed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...
Andrea G. M. Cilio, Henk Corporaal
DAGSTUHL
2010
13 years 8 months ago
Pre-operative Planning and Intra-operative Guidance for Shoulder Replacement Surgery
Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased f...
Charl P. Botha, Peter R. Krekel, Edward R. Valstar...