432 search results - page 80 / 87 » Automated testing of refactoring engines |
BCSHCI
2007
15 years 5 days ago
2007
This workshop is aimed at reviewing and comparing existing Usability Evaluation Methods (UEMs) which are applicable to monomodal and multimodal applications, whether they are web-...
111
click to vote
SIGSOFT
2010
ACM
14 years 5 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
154
click to vote
GIS
2003
ACM
15 years 11 months ago
2003
ACM
We present a technique for creating a digital elevation model (DEM) from grid-based contour data. The method computes new, intermediate contours in between existing isolines. Thes...
DAC
2003
ACM
15 years 11 months ago
2003
ACM
The classic algorithm for optimal buffer insertion due to van Ginneken has time and space complexity O(n2 ), where n is the number of possible buffer positions. We present a new a...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...