3256 search results - page 584 / 652 » Applications of Formal Methods to System Design and Verifica... |
SCFBM
2008
14 years 9 months ago
2008
Background: As the demands for competency-based education grow, the need for standardsbased tools to allow for publishing and discovery of competency-based learning content is mor...
113
click to vote
TMI
2011
14 years 4 months ago
2011
Abstract—Many practical applications require the reconstruction of images from irregularly sampled data. The spline formalism offers an attractive framework for solving this prob...
ISCA
2008
IEEE
15 years 4 months ago
2008
IEEE
As CMOS technology scales and more transistors are packed on to the same chip, soft error reliability has become an increasingly important design issue for processors. Prior resea...
GECCO
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, the advantages of introducing an additional amount of tests when evolving parameters for specific purposes is discussed. A set of optimal PID-controller parameters...
MOBISYS
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we propose a simple yet effective method of identifying traffic conditions on surface streets given location traces collected from on-road vehicles--this requires o...