3920 search results - page 192 / 784 » Challenges in Software Evolution |
106
Voted
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
119
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The Blue Gene/L supercomputer will use system-on-a-chip integration and a highly scalable cellular architecture. With 65,536 compute nodes, Blue Gene/L represents a new l...
133
Voted
RTAS
2000
IEEE
15 years 6 months ago
2000
IEEE
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been i...
93
Voted
IBMRD
2006
15 years 2 months ago
2006
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
107
Voted
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...