5090 search results - page 345 / 1018 » Constructing Strategies for Programming |
154
Voted
UM
2007
Springer
16 years 7 days ago
2007
Springer
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
140
click to vote
APLAS
2006
ACM
16 years 3 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
163
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
196
Voted
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
148
click to vote
DSD
2003
IEEE
15 years 11 months ago
2003
IEEE
Cache design for high performance computing requires the realization of two seemingly disjoint goals of higher hit ratios at reduced access times. Recent research advocates the us...