5668 search results - page 711 / 1134 » The case for software evolution |
210
click to vote
EUROMICRO
1999
IEEE
16 years 1 days ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
188
click to vote
IWPC
1999
IEEE
16 years 6 min ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
225
click to vote
COMPSAC
1998
IEEE
15 years 12 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...
188
click to vote
ISN
1999
Springer
15 years 12 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
198
click to vote
ICRE
1998
IEEE
15 years 12 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...