5243 search results - page 717 / 1049 » Reasoning About Strategies |
153
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
The overset grid methodology has significantly reduced time-to-solution of high-fidelity computational fluid dynamics (CFD) simulations about complex aerospace configurations....
203
click to vote
ISCA
2003
IEEE
16 years 2 days ago
2003
IEEE
This work examines dynamic cluster assignment for a clustered trace cache processor (CTCP). Previously proposed cluster assignment techniques run into unique problems as issue wid...
172
click to vote
ISIPTA
2003
IEEE
16 years 2 days ago
2003
IEEE
This article introduces a new way of understanding subjective probability and its generalization to lower and upper prevision. Instead of asking whether a person is willing to pay...
171
click to vote
ISSRE
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
181
click to vote
WCRE
2003
IEEE
16 years 1 days ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...