1547 search results - page 210 / 310 » The Isabelle Collections Framework |
202
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
81
Voted
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
We collected advice on how to succeed at learning to program from 164 CS1 students at 3 institutions during a "saying is believing"intervention designed to encourage a g...
116
Voted
MOBISYS
2009
ACM
16 years 1 months ago
2009
ACM
Mobile devices often store data in reduced resolutions or custom formats in order to accommodate resource constraints and tailormade software. The Polyjuz framework enables sharin...
114
Voted
CHI
2008
ACM
16 years 1 months ago
2008
ACM
Wikis are sites that support the development of emergent, collective infrastructures that are highly flexible and open, suggesting that the systems that use them will be egalitari...
106
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
Web usage mining, the analysis of user navigation paths through web sites, is a common technique for evaluating site designs or adaptive hypermedia techniques. However, often it i...