Sciweavers

1263 search results - page 10 / 253
» Packaging Mathematical Structures
Sort
View
ICSE
1997
IEEE-ACM
13 years 11 months ago
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...
Christian Lindig, Gregor Snelting
ECAI
2004
Springer
14 years 26 days ago
Combining Multiple Answers for Learning Mathematical Structures from Visual Observation
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...
Paulo Santos, Derek R. Magee, Anthony G. Cohn, Dav...
PPSC
2001
13 years 8 months ago
A Mathematical Cache Miss Analysis for Pointer Data Structures
As the gap between processor and memory performance widens, careful analyses and optimizations of cache memory behavior become increasingly important. While analysis of regular lo...
Hongli Zhang, Margaret Martonosi
TYPES
2007
Springer
14 years 1 months ago
Working with Mathematical Structures in Type Theory
Claudio Sacerdoti Coen, Enrico Tassi