16725 search results - page 3278 / 3345 » Engineering Software Correctness |
ASPLOS
2010
ACM
14 years 4 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
Interaction designers typically revise user interface prototypes by adding unstructured notes to storyboards and screen printouts. How might computational tools increase the effic...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
Testing a GUI’s visual behavior typically requires human testers to interact with the GUI and to observe whether the expected results of interaction are presented. This paper pr...
WWW
2010
ACM
14 years 4 months ago
2010
ACM
Web search engines discover indexable documents by recursively ‘crawling’ from a seed URL. Their rankings take into account link popularity. While this works well, it introduc...
SENSYS
2009
ACM
14 years 4 months ago
2009
ACM
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...