2364 search results - page 43 / 473 » An Engine for Computing Well-Founded Models |
101
click to vote
HPCC
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we present performance analysis of two NASA applications using performance tools like Tuning and Analysis Utilities (TAU) and SGI MPInside. MITgcmUV and OVERFLOW ar...
109
click to vote
SMA
2008
ACM
14 years 10 months ago
2008
ACM
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
103
click to vote
SAC
2004
ACM
15 years 5 months ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
ACMDIS
2000
ACM
15 years 4 months ago
2000
ACM
We may view documents, not only as “containers” for information, but also as active participants in organizing and sustaining communities. This paper discusses our experiences...