851 search results - page 50 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
132
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
104
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
126
click to vote
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Publish/subscribe (pub/sub) middleware platforms for eventbased distributed systems often provide many configurable policies that affect end-to-end quality of service (QoS). Altho...
159
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
The dominant existing routing strategies employed in peerto-peer(P2P) based information retrieval(IR) systems are similarity-based approaches. In these approaches, agents depend o...
127
click to vote
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
Thermal effects are becoming increasingly important during integrated circuit design. Thermal characteristics influence reliability, power consumption, cooling costs, and performan...