1730 search results - page 180 / 346 » Computer Aided Design Modeling for Heterogeneous Objects |
154
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
138
Voted
VRML
1998
ACM
15 years 7 months ago
1998
ACM
The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...
140
Voted
IPPS
2010
IEEE
15 years 21 days ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
142
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...
137
Voted
PPSC
1997
15 years 4 months ago
1997
We illustrate how Fortran 90 supports object-oriented concepts by example of plasma particle computations on the IBM SP. Our experience shows that Fortran 90 and object-oriented m...