Sciweavers

3708 search results - page 408 / 742
» Programming with C Exceptions
Sort
View
137
Voted
CCR
2008
83views more  CCR 2008»
15 years 6 months ago
The CoNEXT shadow TPC
This paper claims that Shadow Technical Program Committee (TPC) should be organized on a regular basis for attractive conferences in the networking domain. It helps ensuring that ...
Olivier Bonaventure, Augustin Chaintreau, Laurent ...
AUTOMATICA
2006
97views more  AUTOMATICA 2006»
15 years 6 months ago
Receding horizon control applied to optimal mine planning
In this paper we show that the problem of optimal mine planning can be cast in the framework of receding horizon control. Traditional formulations of this problem have cast it in ...
Graham C. Goodwin, María M. Seron, Richard ...
JSC
2008
85views more  JSC 2008»
15 years 6 months ago
Descent via isogeny on elliptic curves with large rational torsion subgroups
We outline PARI programs which assist with various algorithms related to descent via isogeny on elliptic curves. We describe, in this context, variations of standard inequalities w...
E. Victor Flynn, C. Grattoni
JCS
2006
118views more  JCS 2006»
15 years 6 months ago
Enforcing Robust Declassification and Qualified Robustness
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
MP
2006
94views more  MP 2006»
15 years 6 months ago
Optimization-based simulation of nonsmooth rigid multibody dynamics
We present a time-stepping method to simulate rigid multibody dynamics with inelastic collision, contact, and friction. The method progresses with fixed time step without backtrac...
Mihai Anitescu