Sciweavers

1040 search results - page 155 / 208
» The Role of Controlled Experiments in Software Engineering R...
Sort
View
ICSEA
2006
IEEE
15 years 10 months ago
UbiNet: A Generic and Ubiquitous Service Provider Framework
—In mobile environment, it is very common that mobile devices periodically stay in disconnection mode. In a networked world as today, computer users rely on network services so h...
Jinsuo Zhang, Sumi Helal
VMCAI
2005
Springer
15 years 10 months ago
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
ShengYu Shen, Ying Qin, Sikun Li
AUIC
2003
IEEE
15 years 9 months ago
Get a Way Back: Evaluating Retrieval from History Lists
Many user interfaces include history lists that help users retrieve temporally ordered information such as previously visited web pages, email messages, and recently used files. ...
Michael Jasonsmith, Andy Cockburn
CGO
2003
IEEE
15 years 9 months ago
Speculative Register Promotion Using Advanced Load Address Table (ALAT)
The pervasive use of pointers with complicated patterns in C programs often constrains compiler alias analysis to yield conservative register allocation and promotion. Speculative...
Jin Lin, Tong Chen, Wei-Chung Hsu, Pen-Chung Yew
UIST
2010
ACM
15 years 2 months ago
Eden: supporting home network management through interactive visual tools
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
Jeonghwa Yang, W. Keith Edwards, David Haslem