472 search results - page 24 / 95 » Symbolic range propagation |
131
Voted
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
101
click to vote
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract – Multiple-Input-Multiple-Output (MIMO) Orthogonal Frequency Division Multiplexing (OFDM) systems have recently attracted substantial research interest. However, compare...
109
Voted
RC
2002
15 years 10 days ago
2002
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
CP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Constraint propagation is one of the techniques central to the success of constraint programming. Fast algorithms are used to prune the search space either before or duri...
118
Voted
PLDI
2004
ACM
15 years 6 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...