7557 search results - page 218 / 1512 » Constraints as a design pattern |
174
click to vote
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
157
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
A novel and very simple correct-by-construction top-down methodology for high-utilization mixed-size placement is presented. The PolarBear algorithm combines recursive cutsize-dri...
286
click to vote
MOZ
2004
Springer
15 years 12 months ago
2004
Springer
We present the design and implementation of a Minesweeper game, augmented with a digital assistant. The assistant uses contraint programming techniques to help the player, and is a...
134
click to vote
ICC
2007
IEEE
16 years 29 days ago
2007
IEEE
The use of bit-patterned media is one of the approaches being investigated to extend magnetic recording densities to 1 Tbit/in2 and beyond. In patterned media, track pitch may be s...
181
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
We consider the problem of learning incoherent sparse and lowrank patterns from multiple tasks. Our approach is based on a linear multi-task learning formulation, in which the spa...