7811 search results - page 1024 / 1563 » computing 2004 |
168
Voted
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
162
click to vote
ICS
2004
Tsinghua U.
16 years 4 days ago
2004
Tsinghua U.
The growing dominance of wire delays at future technology points renders a microprocessor communication-bound. Clustered microarchitectures allow most dependence chains to execute...
151
click to vote
ICS
2004
Tsinghua U.
16 years 4 days ago
2004
Tsinghua U.
With processor speeds continuing to outpace the memory subsystem, cache missing memory operations continue to become increasingly important to application performance. In response...
146
click to vote
IMR
2004
Springer
16 years 4 days ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
184
click to vote
IMR
2004
Springer
16 years 4 days ago
2004
Springer
Mesh generation for finite element analysis is far from a solved problem. Although several automatic meshing algorithms exist, other difficulties of setting up a problem for finit...