1781 search results - page 319 / 357 » An Emerging Need for a New Software Engineering Method |
EMSOFT
2009
Springer
15 years 5 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
119
click to vote
PLDI
2005
ACM
15 years 4 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
FOSSACS
2008
Springer
15 years 6 days ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
WSC
1997
14 years 12 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
101
click to vote
LCTRTS
2004
Springer
15 years 4 months ago
2004
Springer
Energy-aware compilers are becoming increasingly important for embedded systems due to the need to meet conflicting constraints on time, code size and power consumption. We intro...