5668 search results - page 753 / 1134 » The case for software evolution |
150
click to vote
JAR
2010
15 years 5 months ago
2010
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
187
click to vote
ENTCS
2010
15 years 4 months ago
2010
Graphical diagrams are the main modelling constructs offered by the popular modelling language UML. Because textual representations of models also have their benefits, we investig...
194
click to vote
TC
2010
15 years 1 months ago
2010
Continued logarithms, as originally introduced by Gosper, represent a means for exact rational arithmetic, but their application to exact real arithmetic is limited by the uniquene...
213
click to vote
CBSE
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
178
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
Dealing with global on-chip memory allocation/de-allocation in a dynamic yet deterministic way is an important issue for upcoming billion transistor multiprocessor System-on-a-Chi...