6581 search results - page 1232 / 1317 » Formalizing Design Patterns |
179
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
166
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
Humans naturally share knowledge by telling stories. This is a form of knowledge exchange we engage in right from early childhood, and over time we learn to recall, order and orga...
168
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
The growing processor/memory performance gap causes the performance of many codes to be limited by memory accesses. If known to exist in an application, strided memory accesses fo...
163
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
137
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...