4401 search results - page 511 / 881 » Computing with Default Logic |
189
click to vote
HPDC
2006
IEEE
16 years 27 days ago
2006
IEEE
We develop an adaptive load distribution protocol for logical volume I/O workload in clustered storage systems. It exploits data redundancy among decentralized storage servers to ...
168
click to vote
ICDCSW
2006
IEEE
16 years 27 days ago
2006
IEEE
Peer-to-peer (P2P) systems are based upon the cooperative interactions of member peers. Typically, peers are both autonomous and self-interested, meaning that there is no hierarch...
168
click to vote
CASES
2006
ACM
16 years 25 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
171
click to vote
FOCS
2005
IEEE
16 years 14 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
196
click to vote
IPPS
2005
IEEE
16 years 13 days ago
2005
IEEE
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...