3028 search results - page 294 / 606 » Integrating Temporal Logics |
196
click to vote
FPGA
2007
ACM
16 years 1 months ago
2007
ACM
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
181
click to vote
IAT
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
159
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—We present a throughput-driven partitioning algorithm and a throughput-preserving merging algorithm for the high-level physical synthesis of latency-insensitive (LI) sys...
185
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
The problem of merging multiple sources information is central in many information processing areas such as databases integration problems, multiple criteria decision making, exper...
199
click to vote
SP
1997
IEEE
15 years 11 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...