3224 search results - page 164 / 645 » Abstract Error Projection |
171
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—This paper studies the effect of Multiple access interference (MAI) on the performance of coded FHSS systems. This is achieved by modelling the physical channel in these...
139
click to vote
DEXA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...
180
click to vote
IPSN
2003
Springer
16 years 9 hour ago
2003
Springer
Abstract. We present a distributed algorithm for environmental monitoring of a scalar field (such as temperature, intensity of light, atmospheric pressure, etc.) using a random se...
170
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
205
click to vote
IFL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...