851 search results - page 115 / 171 » History Effects and Verification |
103
click to vote
USENIX
2008
15 years 2 months ago
2008
Despite a low occurrence rate, silent data corruption represents a growing concern for storage systems designers. Throughout the storage hierarchy, from the file system down to th...
106
click to vote
IASTEDSEA
2004
15 years 1 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
104
click to vote
JCC
2007
14 years 11 months ago
2007
: This paper first comments on the surprisingly poor status that Quantum Chemistry has offered to the fantastic intuition of Lewis concerning the distribution of the electrons in ...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Software testing efforts account for a large part of the software development costs. We still struggle, however, to properly prepare students to perform software testing activitie...
77
Voted
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
- This paper deals with the trajectory planning of a soccer ball driven by a kicking robot. The trajectory of a ball is function of its initial velocity, launch angle, and some aer...