10159 search results - page 2031 / 2032 » System Design Validation Using Formal Models |
CCGRID
2009
IEEE
13 years 9 months ago
2009
IEEE
The understanding of H diffusion in materials is pivotal to designing suitable processes. Though a nudged elastic band (NEB)+molecular dynamics (MD)/quantum mechanics (QM) algori...
AAAI
2007
13 years 8 months ago
2007
Often remote investigations use autonomous agents to observe an environment on behalf of absent scientists. Predictive exploration improves these systems’ efficiency with onboa...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
The requirements for secure document workflows in enterprises become increasingly sophisticated, with employees performing different tasks under different roles using the same pro...
IJCAI
2007
13 years 7 months ago
2007
A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. It is commonly asserted that in order to ...
TCAD
2008
13 years 5 months ago
2008
We present in this paper a new interconnect-driven multilevel floorplanner, called interconnect-driven multilevelfloorplanning framework (IMF), to handle large-scale buildingmodule...