3256 search results - page 545 / 652 » Applications of Formal Methods to System Design and Verifica... |
CASES
2005
ACM
14 years 12 months ago
2005
ACM
Customisable embedded processors are becoming available on the market, thus making it possible for designers to speed up execution of applications by using Application-specific F...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Focused around the field of the exploitation and the administration of high performance large-scale parallel systems , this article describes the work carried out on the deployme...
DMDW
2000
14 years 11 months ago
2000
A data warehouse is designed to consolidate and maintain all attributes that are relevant for the analysis processes. Due to the rapid increase in the size of the modern operation...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
Pair approximations have often been used to predict equilibrium conditions in spatially-explicit epidemiological and ecological systems. In this work, we investigate whether this ...
JIRS
2010
14 years 8 months ago
2010
Civilian applications for UAVs will bring these vehicles into low flying areas cluttered with obstacles such as building, trees, power lines, and more importantly civilians. The h...