1415 search results - page 238 / 283 » Verified systems by composition from verified components |
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
ADHOC
2007
13 years 7 months ago
2007
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location...
BMCBI
2008
13 years 7 months ago
2008
Background: MicroRNAs are small non-coding RNA gene products that play diversified roles from species to species. The explosive growth of microRNA researches in recent years prove...
AROBOTS
2006
13 years 7 months ago
2006
How can a mobile robot measure the area of a closed region that is beyond its immediate sensing range? This problem, which we name as blind area measurement, is inspired from scout...
ESWA
2008
13 years 7 months ago
2008
For thin film transistor-liquid crystal displays (TFT-LCD) factories in Taiwan, yield performance had become as an important competitiveness determinant during the competitive env...