2468 search results - page 276 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
155
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Due to multipath delay spread and relatively high sampling rate in OFDM systems, the channel estimation is formulated as a sparse recovery problem, where a hybrid compressed sensi...
195
click to vote
PROMISE
2010
14 years 11 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
147
click to vote
CCGRID
2002
IEEE
15 years 9 months ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
126
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...
143
click to vote
DL
1999
Springer
15 years 8 months ago
1999
Springer
Digital Libraries have gained tremendous interest with numerous research projects addressing the wealth of challenges in this field. While computational intelligence systems are ...