4799 search results - page 331 / 960 » Model Based Requirements Engineering for Embedded Software |
161
Voted
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: This paper presents the study of modifying a legacy single-issue DSP processor to provide real-time processing capacity for emerging multimedia applications. The latest video com...
165
Voted
ENTCS
2007
15 years 6 months ago
2007
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...
209
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
177
click to vote
EUROMICRO
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper describes an experience with a Software Process Improvement (SPI) approach particularly adapted to small structures with low software maturity level (e.g. small and med...
175
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...