12050 search results - page 1726 / 2410 » Modeling and Simulation |
177
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
175
click to vote
DNA
2006
Springer
15 years 11 months ago
2006
Springer
Content-addressability is a fundamental feature of human memory underlying many associative information retrieval tasks. In contrast to location-based memory devices, content-addre...
206
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
A key consideration in building differentiated network services is the feasibility of maintaining stable and consistent service level agreements across multiple networks where allo...
235
click to vote
ESEC
1995
Springer
15 years 11 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
208
click to vote
SCA
2007
15 years 10 months ago
2007
We present a weakly compressible form of the Smoothed Particle Hydrodynamics method (SPH) for fluid flow based on the Tait equation. In contrast to commonly employed projection ap...