1886 search results - page 184 / 378 » Verifying and Validating Simulation Models |
106
click to vote
FAST
2003
15 years 4 months ago
2003
Excessive power consumption is a major barrier to the market acceptance of hard disks in mobile electronic devices. Studying and reducing power consumption, however, often involve...
245
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
130
click to vote
AIPS
2007
15 years 5 months ago
2007
A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous ac...
115
Voted
AFRIGRAPH
2001
ACM
15 years 7 months ago
2001
ACM
Three dimensional computer reconstruction provides us with a means of visualising past environments, allowing us a glimpse of the past that might otherwise be difficult to appreci...
111
Voted
VLSID
2008
IEEE
16 years 3 months ago
2008
IEEE
Negative Bias Temperature Instability (NBTI) has been identified as a major and critical reliability issue for PMOS devices in nano-scale designs. It manifests as a negative thres...