Sciweavers

1617 search results - page 119 / 324
» Modeling and evaluation of hardware software designs
Sort
View
SEW
2005
IEEE
16 years 5 hour ago
Indicators of Structural Stability of Object-Oriented Designs: A Case Study
The structural stability of an object-oriented design (OOD) refers to the extent to which the structure of the design is preserved throughout the evolution of the software from on...
Mahmoud O. Elish, David C. Rine
ISORC
2003
IEEE
15 years 11 months ago
Design of SMIL Browser Functionality in Mobile Terminals
SMIL is a markup language which enables us to describe multimedia contents. This paper proposes a design model of SMIL browser functionality for mobile terminals whose resources a...
Satoshi Hieda, Yoshinori Saida, Hiroshi Chishima, ...
EUROMICRO
2007
IEEE
16 years 23 days ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
VISUALIZATION
2005
IEEE
16 years 3 hour ago
The Visible Radio: Process Visualization of a Software-Defined Radio
In this case study, a data-oriented approach is used to visualize a complex digital signal processing pipeline. The pipeline implements a Frequency Modulated (FM) Software-Defined...
Matthew Hall, Alex Betts, Donna Cox, David Pointer...
EMSOFT
2007
Springer
16 years 18 days ago
Virtual execution of AADL models via a translation into synchronous programs
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, X...