5668 search results - page 712 / 1134 » The case for software evolution |
193
click to vote
SAFECOMP
1999
Springer
15 years 12 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
212
click to vote
AMAST
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
238
Voted
FOSSACS
1998
Springer
15 years 12 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
235
Voted
ICFEM
1998
Springer
15 years 12 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
221
click to vote
LCTRTS
1998
Springer
15 years 12 months ago
1998
Springer
Instruction scheduling is a necessary step in compiling for many modern microprocessors. Traditionally, global instruction scheduling techniques have outperformed local techniques....