Sciweavers

391 search results - page 6 / 79
» Embedded software development on top of transaction-level mo...
Sort
View
CSREAESA
2006
15 years 1 months ago
Integration of an Analysis Tool for Large-Scale Embedded Real-Time Software into a Vehicle Control Platform Development Tool Cha
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
Xiaofeng Yin, Daniel L. Kiskis, Daniel Mihalik, Ka...
ECMDAFA
2010
Springer
151views Hardware» more  ECMDAFA 2010»
15 years 2 months ago
Generative Technologies for Model Animation in the TopCased Platform
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
Xavier Crégut, Benoît Combemale, Marc...
CODES
2007
IEEE
15 years 6 months ago
HySim: a fast simulation framework for embedded software development
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
Stefan Kraemer, Lei Gao, Jan Weinstock, Rainer Leu...
SIGSOFT
2010
ACM
14 years 9 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
VL
2003
IEEE
149views Visual Languages» more  VL 2003»
15 years 4 months ago
Integrating software engineering and user-centred design for multimedia software developments
The object-oriented modeling of interactive multimedia applications in the OMMMA approach is designed to enable multimedia software developers to create comprehensive analysis and...
Gregor Engels, Stefan Sauer, Bettina Neu