19174 search results - page 269 / 3835 » Computer Animation Techniques |
180
click to vote
ECOOPW
2001
Springer
15 years 11 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
177
click to vote
ECOOPW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
173
click to vote
CSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Direct volume rendering is an efficient method for plotting three dimensional scientific data. However, the technique is not as frequently used as it could be. In this article, we...
188
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Large and sparse rational eigenproblems where the rational term is of low rank k arise in vibrations of fluid–solid structures and of plates with elastically attached loads. Exp...
166
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction setarchitecture(ISA). We describethree techniquesfor improving this me...