9110 search results - page 1543 / 1822 » Formally-Based Design Evaluation |
149
Voted
PAISI
2009
Springer
15 years 11 months ago
2009
Springer
Discovering a representative set of theme patterns from a large amount of text for interpreting their meaning has always been concerned by researches of both data mining and inform...
170
click to vote
CCGRID
2008
IEEE
15 years 11 months ago
2008
IEEE
—Current data-centers employ admission control mechanism to maintain low response time and high throughput under overloaded scenarios. Existing mechanisms use internal (on the ov...
143
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Many distribution algorithms have been proposed up to now for P2P real time streaming. However, due to the lack of basic theoretical results and bounds, common sense and intuiti...
148
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
138
click to vote
HPDC
2007
IEEE
15 years 11 months ago
2007
IEEE
In Internet-scale distributed systems, replicationbased scheme has been widely deployed to increase the availability and efficiency of services. Hence, consistency maintenance amo...