Sciweavers

8083 search results - page 375 / 1617
» A Formalization of Software Architecture
Sort
View
DAC
2006
ACM
16 years 7 months ago
Efficient detection and exploitation of infeasible paths for software timing analysis
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, T...
RTAS
2000
IEEE
15 years 10 months ago
An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been i...
Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim
IWEC
2007
15 years 8 months ago
Pass the Ball: Game-Based Learning of Software Design
Based on our experience using active learning methods to teach object-oriented software design we propose a game-based approach to take the classroom experience into a virtual envi...
Guillermo Jiménez-Díaz, Mercedes G&o...
ANSOFT
2000
104views more  ANSOFT 2000»
15 years 6 months ago
An experiment on creating scenario profiles for software change
Scenario profiles are used increasingly often for the assessment of quality attributes during the architectural design of software systems. However, the definition of scenario pro...
PerOlof Bengtsson, Jan Bosch
AHS
2006
IEEE
121views Hardware» more  AHS 2006»
16 years 25 days ago
Hardware/Software Coevolution of Genome Programs and Cellular Processors
The application of evolutionary techniques to the design of custom processing elements bears a strong relation to the natural process that led to the co-evolution of cells and gen...
Gianluca Tempesti, Pierre-André Mudry, Guil...