16859 search results - page 3154 / 3372 » Generative software development |
199
Voted
LCPC
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
180
Voted
PATAT
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
186
Voted
VIZSEC
2004
Springer
16 years 11 days ago
2004
Springer
We describe a framework for managing network attack graph complexity through interactive visualization, which includes hierarchical aggregation of graph elements. Aggregation coll...
231
Voted
MICRO
2003
IEEE
16 years 9 days ago
2003
IEEE
A virtual instruction set architecture (V-ISA) implemented via a processor-specific software translation layer can provide great flexibility to processor designers. Recent examp...
189
Voted
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...