1597 search results - page 171 / 320 » A Design Method for Object-Oriented Programming |
135
click to vote
PADO
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
138
click to vote
ACMIDC
2009
15 years 6 months ago
2009
We propose simple tangible language elements for very young children to use when constructing programmes. The equivalent Turtle Talk instructions are given for comparison. Two exa...
128
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For suc...
AMAI
2002
Springer
15 years 3 months ago
2002
Springer
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
121
click to vote
TOG
2010
14 years 10 months ago
2010
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...