2858 search results - page 382 / 572 » Logics with Aggregate Operators |
171
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
158
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
151
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not giv...
137
click to vote
SIGOPSE
2000
ACM
15 years 10 months ago
2000
ACM
The algorithm for stabilising multiple stores, which we present in this paper, was developed in the process of designing the global stability and resilience mechanism for Grasshopp...
171
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
We present techniques for estimating switching activity and power consumption in register-transfer level (RTL) circuits. Previous work on this topic has ignored the presence of gl...