3316 search results - page 493 / 664 » Mining Software Engineering Data |
CGO
2005
IEEE
15 years 7 months ago
2005
IEEE
Optimization of a real world application BLAST is used to demonstrate the limitations of static and profile-guided optimizations and to highlight the potential of runtime optimiz...
103
Voted
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
112
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
107
Voted
IUI
2005
ACM
15 years 7 months ago
2005
ACM
A task-oriented space can benefit from an augmented reality interface that layers the existing tools and surfaces with useful information to make cooking more easy, safe and effic...
104
click to vote
WWW
2005
ACM
15 years 7 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...