60 search results - page 12 / 12 » Industrial geometry: recent advances and applications in CAD |
CAV
1998
Springer
13 years 8 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
VISUALIZATION
2003
IEEE
13 years 10 months ago
2003
IEEE
Numerical particle simulations and astronomical observations create huge data sets containing uncorrelated 3D points of varying size. These data sets cannot be visualized interact...
AAAI
2008
13 years 7 months ago
2008
This paper summarizes recent advances in the application of multiagent coordination algorithms to air traffic flow management. Indeed, air traffic flow management is one of the fu...
SIGOPS
2010
13 years 3 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
NETWORK
2008
13 years 4 months ago
2008
Recently, WiMAX has been proposed as an attractive wireless communication technology for providing broadband access for metropolitan areas. Despite its salient features from the t...