1054 search results - page 107 / 211 » From a Verified Kernel towards Verified Systems |
165
click to vote
WIKIS
2009
ACM
16 years 25 days ago
2009
ACM
Wikipedia has been very successful as an open encyclopedia which is editable by anybody. However, the anonymous nature of Wikipedia means that readers may have less trust since th...
158
click to vote
SEAA
2008
IEEE
16 years 21 days ago
2008
IEEE
In this exploratory case study, effort distribution visualizations of industrial software development projects are made in order to assess to what extent patterns can be found tha...
184
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
— This paper addresses a low complexity frequency offset estimator for multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems over freque...
159
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
— We characterize the statistical properties of the mutual information between the transmitter and the receiver of a multiple-input multiple-output (MIMO) communication system in...
155
click to vote
LICS
2007
IEEE
16 years 18 days ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...