8874 search results - page 1539 / 1775 » A New Implementation of Automath |
191
click to vote
IEEEPACT
2006
IEEE
16 years 1 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
253
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
The incorporation of last-generation sensors to airborne and satellite platforms is currently producing a nearly continual stream of high-dimensional data, and this explosion in t...
215
click to vote
NDSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Software monocultures are usually considered dangerous because their size and uniformity represent the potential for costly and widespread damage. The emerging concept of collabor...
227
click to vote
ACMMSP
2006
ACM
16 years 1 months ago
2006
ACM
A blossoming paradigm for block-recursive matrix algorithms is presented that, at once, attains excellent performance measured by • time, • TLB misses, • L1 misses, • L2 m...
201
click to vote
DOLAP
2006
ACM
16 years 1 months ago
2006
ACM
Decision support systems (DSS) may be enhanced qualitatively if they are able to also deal with spatial dimensions and measures. Regardless the evident importance of using data wa...