4695 search results - page 599 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
183
click to vote
COMPGEOM
2006
ACM
16 years 1 months ago
2006
ACM
We study the problem of minimum-distortion embedding of ultrametrics into the plane and higher dimensional spaces. Ultrametrics are a natural class of metrics that frequently occu...
189
click to vote
RE
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel technique that automatically alerts authors of requirements to the presence of potentially dangerous ambiguities. We first establish the notion of nocuous ambig...
175
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
223
click to vote
PARA
2004
Springer
16 years 27 days ago
2004
Springer
Cache optimizations typically include code transformations to increase the locality of memory accesses. An orthogonal approach is to enable for latency hiding by introducing prefet...
206
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...