Sciweavers

557 search results - page 70 / 112
» Device Modeling for a Flexible Embedded Systems Development ...
Sort
View
IWPC
2002
IEEE
15 years 7 months ago
An Open Visualization Toolkit for Reverse Architecting
Maintenance and evolution of complex software systems (such as large telecom embedded devices) involve activities such as reverse engineering (RE) and software visualization. Alth...
Alexandru Telea, Alessandro Maccari, Claudio Riva
140
Voted
RTCSA
1999
IEEE
15 years 6 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
154
Voted
EMSOFT
2003
Springer
15 years 7 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
129
Voted
JOT
2007
108views more  JOT 2007»
15 years 2 months ago
Diffraction Rangefinding in Java
We describe a prototype of a diffraction range finding camera implemented in, and simulated by, Java. This sensor is able to digitize objects in 3D using only a single video camer...
Douglas Lyon
115
Voted
CAD
2000
Springer
15 years 2 months ago
Integrated design in a service marketplace
This paper presents a service marketplace vision for enterprise-wide integrated design modeling. In this environment, expert participants and product development organizations are...
Shaun Abrahamson, David Wallace, Nicola Senin, Pet...