4075 search results - page 398 / 815 » Modeling Distributed Algorithm Using B |
154
click to vote
IPPS
1994
IEEE
15 years 11 months ago
1994
IEEE
Present-day parallel computers often face the problems of large software Overheadsfor process switching and interprocessor communication. These problems are addressed by the Multi...
188
click to vote
WDAG
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
176
click to vote
GLVLSI
2005
IEEE
16 years 13 days ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
189
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
: Academic clock routing research results has often had limited impact on industry practice, since such practical considerations as hierarchical buffering, rise-time and overshoot ...
184
click to vote
CG
2008
Springer
15 years 7 months ago
2008
Springer
Recent developments have produced several techniques for interactive ray tracing of dynamic scenes. In particular, bounding volume hierarchies (BVHs) are efficient acceleration st...