145 search results - page 29 / 29 » rest 2010 |
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
TSP
2010
12 years 11 months ago
2010
We propose a variance-component probabilistic model for sparse signal reconstruction and model selection. The measurements follow an underdetermined linear model, where the unknown...
TSP
2010
12 years 11 months ago
2010
We consider decentralized multiantenna cognitive radio networks where the secondary (cognitive) users are granted simultaneous spectrum access along with the license-holding (prima...
APSEC
2010
IEEE
12 years 8 months ago
2010
IEEE
There is an emergence of cloud application platforms such as Microsoft’s Azure, Google’s App Engine and Amazon’s EC2/SimpleDB/S3. Startups and Enterprise alike, lured by the...
BIBE
2010
IEEE
12 years 8 months ago
2010
IEEE
—Absence seizures are characterized by sudden loss of consciousness and interruption of ongoing motor activities for a brief period of time lasting few to several seconds and up ...