Sciweavers

2410 search results - page 165 / 482
» Multiset Ordering Constraints
Sort
View
POPL
2009
ACM
16 years 7 months ago
Relaxed memory models: an operational approach
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
Gérard Boudol, Gustavo Petri
ISQED
2008
IEEE
112views Hardware» more  ISQED 2008»
16 years 22 days ago
Robust Analog Design for Automotive Applications by Design Centering with Safe Operating Areas
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...
Udo Sobe, Karl-Heinz Rooch, Andreas Ripp, Michael ...
GECCO
2007
Springer
161views Optimization» more  GECCO 2007»
16 years 15 days ago
Alternative techniques to solve hard multi-objective optimization problems
In this paper, we propose the combination of different optimization techniques in order to solve “hard” two- and threeobjective optimization problems at a relatively low comp...
Ricardo Landa Becerra, Carlos A. Coello Coello, Al...
RTS
2006
84views more  RTS 2006»
15 years 6 months ago
Finite-horizon scheduling of radar dwells with online template construction
Timing constraints for radar tasks are usually specified in terms of the minimum and maximum temporal distance between successive radar dwells. We utilize the idea of feasible int...
Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng S...
CAGD
2005
118views more  CAGD 2005»
15 years 6 months ago
Curve modeling with constrained B-spline wavelets
In this paper we present a novel approach to construct B-spline wavelets under constraints, taking advantage of the lifting scheme. Constrained B-spline wavelets allow multiresolu...
Denggao Li, Kaihuai Qin, Hanqiu Sun