4940 search results - page 844 / 988 » On the Complexity of Universal Programs |
192
click to vote
LPNMR
1997
Springer
15 years 10 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
173
click to vote
ICS
1993
Tsinghua U.
15 years 10 months ago
1993
Tsinghua U.
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...
154
click to vote
ICS
1993
Tsinghua U.
15 years 10 months ago
1993
Tsinghua U.
—Data dependence analysis techniques are the main component of today’s strategies for automatic detection of parallelism. Parallelism detection strategies are being incorporate...
258
click to vote
ICTL
1994
15 years 10 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
185
click to vote
ISN
1994
Springer
15 years 10 months ago
1994
Springer
There is a common unjustified belief that OSI management technology, despite being very powerful, is difficult to implement because of the complexity of the underlying service/prot...