3368 search results - page 326 / 674 » The Complexity of Query Reliability |
149
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
179
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
158
click to vote
PODC
1998
ACM
15 years 11 months ago
1998
ACM
: We present a new model for handling messages and state in a distributed application that we call Messages in Local Transactions (MLT). Under this model, messages and data are not...
169
click to vote
ROBOCUP
1998
Springer
15 years 11 months ago
1998
Springer
The RoboCup simulator competition is one of the most challenging international proving grounds for contemporary AI research. Exactly because of the high level of complexity and a l...
196
click to vote
ICFEM
1997
Springer
15 years 10 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...