Sciweavers

5109 search results - page 555 / 1022
» On Learning Limiting Programs
Sort
View
AI
2011
Springer
15 years 2 months ago
Expressive markets for donating to charities
When donating money to a (say, charitable) cause, it is possible to use the contemplated donation as a bargaining chip to induce other parties interested in the charity to donate ...
Vincent Conitzer, Tuomas Sandholm
CORR
2011
Springer
181views Education» more  CORR 2011»
14 years 11 months ago
Garbage Collection for Multicore NUMA Machines
Modern high-end machines feature multiple processor packages, each of which contains multiple independent cores and integrated memory controllers connected directly to dedicated p...
Sven Auhagen, Lars Bergstrom, Matthew Fluet, John ...
SIGCSE
2005
ACM
146views Education» more  SIGCSE 2005»
16 years 26 days ago
Using image processing projects to teach CS1 topics
As Computer Science educators, we know that students learn more from projects that are fun and challenging, that seem “real” to them, and that allow them to be creative in des...
Richard Wicentowski, Tia Newhall
ICSE
2009
IEEE-ACM
16 years 8 months ago
Accurate Interprocedural Null-Dereference Analysis for Java
Null dereference is a commonly occurring defect in Java programs, and many static-analysis tools identify such defects. However, most of the existing tools perform a limited inter...
Mangala Gowri Nanda, Saurabh Sinha
189
Voted
SIGSOFT
2008
ACM
16 years 8 months ago
Using assertions to help end-user programmers create dependable web macros
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
Andhy Koesnandar, Sebastian G. Elbaum, Gregg Rothe...