10604 search results - page 323 / 2121 » Computational Fluid Dynamics |
162
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a dynamic scheduler that supports the coexistence of guaranteed and non-guaranteed bandwidth servers to efficiently handle soft-tasks’ overloads by making a...
195
click to vote
SEUS
2007
IEEE
16 years 1 months ago
2007
IEEE
The hardware infrastructure that provides the support of ubiquitous embedded computing may be shared by different applications. Many of those applications have real-time requireme...
117
Voted
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
185
click to vote
CONCUR
2005
Springer
16 years 8 days ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
165
click to vote
PG
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a system based on commodity graphics hardware for computing global illumination in dynamic scenes at interactive rates. We designed a progressive global illumination al...