4451 search results - page 614 / 891 » Continuous model synthesis |
169
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents scalable algorithms for recovery and page coherency in multicomputer object stores. Recovery and coherency are central to object store engineering and distribu...
143
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
With an ever-increasing portion of the delay in highspeed CMOS chips attributable to the interconnect, interconnect-circuit design automation continues to grow in importance. By t...
171
click to vote
SGP
2007
15 years 9 months ago
2007
Discrete Laplace operators are ubiquitous in applications spanning geometric modeling to simulation. For robustness and efficiency, many applications require discrete operators th...
209
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper describes a method and system for integrating machine learning with planning and data visualization for the management of mobile sensors for Earth science investigation...
164
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
With continued scaling of technology into nanometer regimes, the impact of coupling induced delay variations is significant. While several coupling-aware static timers have been pr...