Sciweavers

1016 search results - page 18 / 204
» Parallelism Constraints
Sort
View
GLOBECOM
2008
IEEE
13 years 9 months ago
On Sum-Rate Capacity of Parallel Gaussian Symmetric Interference Channels
— In this paper, we study the optimal transceiver structure for achieving sum-rate capacity of a parallel Gaussian symmetric interference channel. Specifically, we derive a set ...
Xiaohu Shang, Biao Chen, Gerhard Kramer
SAC
2003
ACM
14 years 1 months ago
Coordination-Based Distributed Constraint Solving in DICE
DICE (DIstributed Constraint Environment) is a framework for the construction of distributed constraint solvers from software components in a number of predefined categories. The...
Peter Zoeteweij
ISORC
1998
IEEE
14 years 27 days ago
Specification of Real-Time Interaction Constraints
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
Brian Nielsen, Shangping Ren, Gul Agha
SKG
2006
IEEE
14 years 2 months ago
Dynamic Setting, Verification and Adjustment of Upper Bound Constraints in Grid Workflow Systems
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...
Jinjun Chen, Yun Yang
CSL
2006
Springer
14 years 9 days ago
Jump from Parallel to Sequential Proofs: Multiplicatives
We introduce a new class of multiplicative proof nets, J-proof nets, which are a typed version of Faggian and Maurel's multiplicative L-nets. In J-proof nets, we can character...
Paolo Di Giamberardino, Claudia Faggian