Sciweavers

3171 search results - page 231 / 635
» Application of Reduce Order Modeling to Time Parallelization
Sort
View
128
Voted
CAV
2009
Springer
134views Hardware» more  CAV 2009»
16 years 4 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
114
Voted
SAC
2003
ACM
15 years 9 months ago
PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks
Shared dataspaces `a la Linda, and the underlying data-driven coordination model, have been successfully exploited in the development of a huge variety of applications, going from...
Nadia Busi, Cristian Manfredini, Alberto Montresor...
ATAL
2010
Springer
15 years 4 months ago
Time constraints in mixed multi-unit combinatorial auctions
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
Andreas Witzel, Ulle Endriss
ISPAN
2005
IEEE
15 years 9 months ago
A Scalable Method for Predicting Network Performance in Heterogeneous Clusters
An important requirement for the effective scheduling of parallel applications on large heterogeneous clusters is a current view of system resource availability. Maintaining such ...
Dimitrios Katramatos, Steve J. Chapin
115
Voted
CCE
2005
15 years 3 months ago
Compartmental modeling of high purity air separation columns
High purity distillation columns are critical unit operations in cryogenic air separation plants. The development of nonlinear control technology is motivated by the need to frequ...
Shoujun Bian, Suabtragool Khowinij, Michael A. Hen...