Sciweavers

2452 search results - page 79 / 491
» On Reduction of Lagrange Systems
Sort
View
ACSC
2004
IEEE
15 years 9 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
CPAIOR
2008
Springer
15 years 7 months ago
Gap Reduction Techniques for Online Stochastic Project Scheduling
Anticipatory algorithms for online stochastic optimization have been shown very effective in a variety of areas, including logistics, reservation systems, and scheduling. For such ...
Grégoire Dooms, Pascal Van Hentenryck
GLOBECOM
2010
IEEE
15 years 3 months ago
Relay-Induced Error Propagation Reduction for Decode-and-Forward Cooperative Communications
An attractive hybrid method of mitigating the effects of error propagation that may be imposed by the relay node (RN) on the destination node (DN) is proposed. We selected the most...
Dandan Liang, Soon Xin Ng, Lajos Hanzo
AMC
2011
15 years 24 days ago
Complexity reduction of C-Algorithm
This is a companion paper of [1] and [2]. In the cited papers, using the C-algorithm introduced in [3], many new examples of isochronous centers for Li´enard type equation are fou...
Magali Bardet, Islam Boussaada
ENTCS
1998
105views more  ENTCS 1998»
15 years 5 months ago
A Concurrent Object Calculus: Reduction and Typing
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
Andrew D. Gordon, Paul D. Hankin