3379 search results - page 153 / 676 » Powers of Two |
124
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
125
click to vote
WLP
2005
Springer
15 years 10 months ago
2005
Springer
Constraint Propagation can be speeded up significantly by choosing a good execution order for propagators. A propagator is an implicit representation of a constraint which is wide...
145
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
Constraint programming is a powerful paradigm that offers many different strategies for solving problems. Choosing a good strategy is difficult; choosing a poor strategy wastes r...
146
click to vote
HIPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Loop interchange is a powerful restructuring technique for supporting vectorization and parallelization. In this paper, we propose a technique which is better to determine whether...
120
click to vote
INFOVIS
1998
IEEE
15 years 8 months ago
1998
IEEE
We propose a simple and powerful graphical interface tool called the LensBar for filtering and visualizing large lists of data. Browsing and querying are the most important tasks ...