1426 search results - page 191 / 286 » Specification of nonmonotonic reasoning |
177
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
This project aims to further our understanding of the practice of user-centered design (UCD) by observing the argumentation strategies used by designers in faceto-face meetings in...
VLSID
2003
IEEE
15 years 10 months ago
2003
IEEE
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
164
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...