5550 search results - page 88 / 1110 » Different Approaches to Proof Systems |
197
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— The Redundancy Allocation Problem (RAP) is a kind of reliability optimization problems. It involves the selection of components with appropriate levels of redundancy or reliabi...
162
click to vote
IJCAI
1993
15 years 7 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
181
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Portable embedded systems are being driven by consumer demands to be thermally efficient, perform faster, and have longer battery life. To design such a system, various hardware un...
161
click to vote
ICS
2005
Tsinghua U.
15 years 12 months ago
2005
Tsinghua U.
The combination of increasing component power consumption, a desire for denser systems, and the required performance growth in the face of technology-scaling issues are posing eno...
161
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...