2844 search results - page 142 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
152
click to vote
AC
1999
Springer
15 years 9 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
166
Voted
AR
2007
15 years 5 months ago
2007
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
138
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Client-side file caching has long been recognized as a file system enhancement to reduce the amount of data transfer between application processes and I/O servers. However, cach...
161
click to vote
ICONS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
136
click to vote
IJCAI
1989
15 years 6 months ago
1989
The developmentof reasoning systems that can reason and plan in a continuously changing environment is emerging as an important area of research in Arti cial Intelligence. Thispap...