404 search results - page 34 / 81 » Multi-dimensional Dynamic Logic Programming |
134
Voted
ICS
2001
Tsinghua U.
15 years 6 months ago
2001
Tsinghua U.
The issue logic of dynamically scheduled superscalar processors is one of their most complex and power-consuming parts. In this paper we present alternative issue-logic designs th...
JUCS
2008
15 years 1 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
140
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
127
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
106
Voted
PERCOM
2009
ACM
15 years 8 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...