1299 search results - page 148 / 260 » On the Correctness of Operating System Kernels |
169
click to vote
VTC
2006
IEEE
16 years 14 days ago
2006
IEEE
– In this paper, a partial sphere decoding approach is proposed to reduce the computational complexity of implementing the iterative MAP receiver for spatial multiplexing system,...
156
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
213
click to vote
SSD
1993
Springer
15 years 10 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
160
click to vote
SPE
2002
15 years 6 months ago
2002
D'Agents is a general-purpose mobile-agent system that has been used in several informationretrieval applications. In this paper, we first examine one such application, opera...
225
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
We present a replication-based approach to fault-tolerant distributed stream processing in the face of node failures, network failures, and network partitions. Our approach aims t...