Sciweavers

5005 search results - page 194 / 1001
» The Design and Analysis of Parallel Algorithms
Sort
View
119
Voted
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 10 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
134
Voted
TPDS
2002
136views more  TPDS 2002»
15 years 3 months ago
Automatic Partitioning of Parallel Loops with Parallelepiped-Shaped Tiles
In this paper, an efficient algorithm to implement loop partitioning is introduced and evaluated. We start from results of Agarwal et al. [1] whose aim is to minimize the number of...
Fabrice Rastello, Yves Robert
98
Voted
NHM
2010
104views more  NHM 2010»
14 years 10 months ago
Modeling multiphase non-Newtonian polymer flow in IPARS parallel framework
With the depletion of oil reserves and increase in oil price, the enhanced oil recovery methods such as polymer flooding to increase oil production from waterflooded fields are bec...
Changli Yuan, Mojdeh Delshad, Mary F. Wheeler
136
Voted
AIPS
1994
15 years 5 months ago
Design Tradeoffs in Partial Order (Plan space) Planning
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
Subbarao Kambhampati
124
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
On the Extreme Parallelism Inside Next-Generation Network Processors
Next-generation high-end Network Processors (NP) must address demands from both diversified applications and ever-increasing traffic pressure. One major challenge is to design an e...
Lei Shi, Yue Zhang 0006, Jianming Yu, Bo Xu, Bin L...