10802 search results - page 2149 / 2161 » Generative and developmental systems |
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
We study an online random linear network coding approach for time division duplexing (TDD) channels under Poisson arrivals. We model the system as a bulk-service queue with variabl...
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
13 years 7 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
IMC
2010
ACM
13 years 6 months ago
2010
ACM
Social media sites such as Twitter continue to grow at a fast pace. People of all generations use social media to exchange messages and share experiences of their life in a timely...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Peta-scale scientific applications running on High End Computing (HEC) platforms can generate large volumes of data. For high performance storage and in order to be useful to scien...