1220 search results - page 212 / 244 » Dependent classes |
137
Voted
ICPADS
1994
IEEE
15 years 4 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
96
Voted
ICFP
2006
ACM
16 years 13 days ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
112
click to vote
SMA
1999
ACM
15 years 4 months ago
1999
ACM
Nearly all major commercial computer-aided design systems have adopted a feature-based design approach to solid modeling. Models are created via a sequence of operations which app...
SIGMOD
1996
ACM
15 years 4 months ago
1996
ACM
Scheduling query execution plans is an important component of query optimization in parallel database systems. The problem is particularly complex in a shared-nothing execution en...
120
click to vote
CADE
2005
Springer
16 years 24 days ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...