5090 search results - page 345 / 1018 » Constructing Strategies for Programming |
200
Voted
UM
2007
Springer
16 years 1 months 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. ...
175
click to vote
APLAS
2006
ACM
16 years 1 months 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...
186
Voted
RTA
2005
Springer
16 years 28 days 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...
241
click to vote
COMPSAC
2003
IEEE
16 years 23 days 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...
179
Voted
DSD
2003
IEEE
16 years 22 days 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...