5241 search results - page 784 / 1049 » Embedded Programming with C |
122
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
114
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
144
Voted
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
126
Voted
FPL
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...
109
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
Software maintenanceand evolutionare the dominantactivities in the software lifecycle. Modularization can separate design decisions and allow them to be independently evolved, but...