19174 search results - page 365 / 3835 » Computer Animation Techniques |
156
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Much existing documentation is informal and serves to communicate "how-to" knowledge among restricted working groups. Using current practices, such documentation is both...
138
click to vote
SLIP
2009
ACM
16 years 1 months ago
2009
ACM
An accurate model for pre-placement wire length estimation can be a useful tool during the physical design of integrated circuits. In this paper, an a priori wire length estimatio...
168
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
As server consolidation using virtual machines (VMs) is carried out, software aging of virtual machine monitors (VMMs) is becoming critical. Performance degradation or crash failu...
170
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
191
click to vote
ICPPW
2006
IEEE
16 years 22 days ago
2006
IEEE
In recent years, large scale distributed virtual environments have become a major trend in distributed applications, mainly due to the enormous popularity of multiplayer online ga...