1585 search results - page 290 / 317 » A framework for computer-aided validation |
100
click to vote
BICOB
2009
Springer
15 years 6 months ago
2009
Springer
The de novo assembly of genomes from high-throughput short reads is an active area of research. Several promising methods have been recently developed, with applicability mainly re...
111
click to vote
SMA
2009
ACM
15 years 6 months ago
2009
ACM
Collision detection in geometrically complex scenes is crucial in physical simulations and real time applications. Works based on spatial hierarchical structures have been propose...
127
click to vote
ICAC
2008
IEEE
15 years 6 months ago
2008
IEEE
— There is growing incentive to reduce the power consumed by large-scale data centers that host online services such as banking, retail commerce, and gaming. Virtualization is a ...
103
click to vote
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—This paper presents a systematic in-depth study on the existence, importance, and application of stable nodes in peerto-peer live video streaming. Using traces from a real large...
SECON
2008
IEEE
15 years 6 months ago
2008
IEEE
—We present the design and implementation of UDAE, a Universal Data Access Engine for wireless sensor networks. The UDAE allows developers to access data both locally and over th...