1159 search results - page 112 / 232 » On The Next Move in Programming |
103
click to vote
SCAM
2003
IEEE
15 years 6 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
101
Voted
ADAEUROPE
2003
Springer
15 years 5 months ago
2003
Springer
Starting in 2000, the ISO technical group in charge of maintaining the Ada language has been looking into possible changes for the next revision of the standard, around 2005. Based...
APCCAS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper proposes a new approach to reducing the power consumption of instruction ROMs for embedded systems. The power consumption of instruction ROMs strongly depends on the sw...
122
Voted
ECBS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper discusses an approach for top-down composition of software architectures. First, an architecture is derived that addresses functional requirements only. This architectu...
102
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes a program of research designed to understand how knowledge-sharing and learning can be supported in virtual communities. To conduct this research, we propose ...