5553 search results - page 176 / 1111 » Parallel Implementation of Sch |
123
Voted
HIPC
2004
Springer
15 years 8 months ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
123
click to vote
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
95
Voted
SC
2000
ACM
15 years 7 months ago
2000
ACM
The method of discrete ordinates is commonly used to solve the Boltzmann radiation transport equation for applications ranging from simulations of fires to weapons effects. The ...
135
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
The ability to dynamically adapt an unstructured grid (or mesh) is a powerful tool for solving computational problems with evolving physical features; however, an efficient parall...
116
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
This work implements and analyses a highway traffic flow simulation based on continuum modeling of traffic dynamics. A traffic-flow simulation was developed and mapped onto a para...