168 search results - page 10 / 34 » The Application of Correctness Preserving Transformations to... |
EUROPAR
2010
Springer
13 years 8 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
EDOC
2003
IEEE
14 years 24 days ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...
ICSM
2002
IEEE
14 years 13 days ago
2002
IEEE
Automatic software reengineerings change or repair existing software systems. They are usually tailor-made for a specific customer and language dependent. Maintaining similar ree...