3130 search results - page 191 / 626 » Design Correctness of Digital Systems |
141
click to vote
MSO
2003
15 years 5 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
164
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Binary Symmetric Channels (BSC) like the Interchip buses and the Intra-chip buses are gaining a lot of attention due to their widespread use with multimedia storage dev...
137
click to vote
CLEF
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes an experimental investigation of interactive techniques for cross-language information access. The task was to answer factual questions from a large ...
151
click to vote
TWC
2011
14 years 11 months ago
2011
—In this paper, the performance of the ALOHA and CSMA MAC protocols are analyzed in spatially distributed wireless networks. The main system objective is correct reception of pac...
149
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Many computer vision systems try to infer semantic information about a video scene content by looking at the time series of the silhouettes of the moving objects. This paper propo...