12745 search results - page 2405 / 2549 » Automating test automation |
142
Voted
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
The rapid need for high bandwidth and low latency communication in distributed real-time systems is driving system architects towards high-speed switches developed for high volume...
104
Voted
TPHOL
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. We compare the styles of several proof assistants for mathematics. We present Pythagoras’ proof of the irrationality of √ 2 both informal and formalized in (1) HOL, (...
128
Voted
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
130
Voted
IUI
2006
ACM
15 years 9 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
134
Voted
IUI
2006
ACM
15 years 9 months ago
2006
ACM
The TaskTracer system seeks to help multi-tasking users manage the resources that they create and access while carrying out their work activities. It does this by associating with...